Metamathematics of first-order arithmetic
By: Petr Hájek, Pavel Pudlák.
Contributors: Pudlák, Pavel, 1952-
Series: Perspectives in mathematical logic
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 460
Subjects: Arithmetic -- Foundations.
Notes: Includes bibliographical references (p. [409]-453) and indexes.