Subsystems of second order arithmetic
Simpson, Stephen G.
Subsystems of second order arithmetic Stephen G. Simpson. - 2nd ed. - Cambridge ; New York Cambridge University Press 2009. - xvi, 444 p. ill. 25 cm - Perspectives in logic . - Perspectives in logic .
Antetutlu: "Association for Symbolic Logic."
Bibliografie
eng
9780521884396 (hardback)
2008052364
Predicate calculus
QA9.7
511.3
Subsystems of second order arithmetic Stephen G. Simpson. - 2nd ed. - Cambridge ; New York Cambridge University Press 2009. - xvi, 444 p. ill. 25 cm - Perspectives in logic . - Perspectives in logic .
Antetutlu: "Association for Symbolic Logic."
Bibliografie
eng
9780521884396 (hardback)
2008052364
Predicate calculus
QA9.7
511.3