Perspectives in Logic

Chapter V: Bounded Arithmetic

Full-text: Open access

Chapter information

Source
Petr Hájek, Pavel Pudlák, Metamathematics of First-Order Arithmetic, 2nd printing (Berlin: Springer-Verlag, 1998), 267-395

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235421934

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Hájek, Petr; Pudlák, Pavel. Chapter V: Bounded Arithmetic. Metamathematics of First-Order Arithmetic, 267--395, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.pl/1235421934


Export citation