Back to Search Start Over

PEANO ARITHMETIC AND ITS SUBSYSTEMS

Authors :
Phuong Nguyen
Stephen A. Cook
Publication Year :
2010
Publisher :
Cambridge University Press, 2010.

Subjects

Subjects :
Discrete mathematics
Gentzen's consistency proof
True arithmetic
Second-order arithmetic
Proof theory
Peano axioms
Robinson arithmetic
Primitive recursive arithmetic
Arithmetic
Non-standard model of arithmetic
Mathematics

Details

Database :
OpenAIRE
Accession number :
edsair.doi...........6c85beeda064e31d62d7c6ac94eee264
Full Text :
https://doi.org/10.1017/cbo9780511676277.004
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details