Metamathematics of first-order arithmetic /
Petr Hájek, Pavel Pudlák

Description

Tools

Cite this Export citation file

Main Author: Hájek, Petr
Related Names: Pudlák, Pavel, 1952-
Language(s): English
Published: Berlin ; Springer-Verlag, 1993
Subjects: Arithmetic > Arithmetic / Foundations
Physical Description: 460 p. ; 24 cm
ISBN: 0387506322
3540506322 :
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California
Limited (search only)	University of Michigan

View HathiTrust MARC record

Similar Items

Logic Colloquium '98 : proceedings of the 1998 ASL European Summer Meeting held in Prague, Czech Republic

Author: Logic Colloquium (1998 : Prague, Czech Republic)
Published: 1999

Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998

Author: Logic Colloquium (1998 : Prague, Czech Republic)
Published: 2000

Biorthogonal systems in Banach spaces

Author: Hájek, Petr.
Published: 2008

The theory of semisets

Author: Vopěnka, Petr.
Published: 1972

Mechanizing hypothesis formation : mathematical foundations for a general theory

Author: Hájek, Petr.
Published: 1978

Vlídná past

Author: Hájek, Petr, 1951-
Published: 1987

Halelujá!

Author: Hájek, Petr, 1951-
Published: 1977

Balada číslo jedna

Author: Hájek, Petr, 1951-
Published: 1975

Areál snů

Author: Hájek, Petr, 1951-
Published: 1980

Vzájemná korespondence 1919-1922

Author: Florian, Josef.
Published: 1993