Cover Image

Metamathematics of first-order arithmetic /

Bibliographic Details
Main Author: Hájek, Petr
Other Authors: Pudlák, Pavel, 1952-
Format: Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1993]
Series:Perspectives in mathematical logic.
Subjects:
Arithmetic > Foundations.
Description
Physical Description:460 pages
Bibliography:Includes bibliographical references and index.
ISBN:3540506322 :
0387506322