An edition of Tableau systems for first order number theory and certain higher order theories (1975)
By Sue Ann Toledo
Publish Date
1975
Publisher
Springer-Verlag
Language
eng
Pages
339
Description:
subjects: Number theory, Predicate calculus, Proof theory, Calcul des prédicats, Nombres, Théorie des, Preuve, Théorie de la