An edition of Tableau systems for first order number theory and certain higher order theories (1975)
Tableau systems for first order number theory and certain higher order theories
By Sue Ann Toledo
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1975
Publisher
Springer-Verlag
Language
eng
Pages
339
Description: