An edition of Subsystems of second-order arithmetic (1999)
Subsystems of second-order arithmetic
By Stephen G. Simpson
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2009
Publisher
Cambridge University Press
Language
eng
Pages
444
Description:
subjects: Predicate calculus, Calculus