Perspectives in Logic

Chapter II: Fragments and Combinatorics

Full-text: Open access

Chapter information

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

Dates
First available in Project Euclid: 23 February 2009

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

Rights
Copyright © 1998, Association for Symbolic Logic

Citation

Hájek, Petr; Pudlák, Pavel. Chapter II: Fragments and Combinatorics. Metamathematics of First-Order Arithmetic, 111--144, Springer-Verlag, Berlin, 1998. https://projecteuclid.org/euclid.pl/1235421931


Export citation