Metamathematics of first-order arithmetic /

Metamathematics of first-order arithmetic /

Saved in:

Bibliographic Details
Author / Creator:	Hájek, Petr
Imprint:	Berlin ; New York : Springer-Verlag, c1993.
Description:	xiv, 460 p. ; 25 cm.
Language:	English
Series:	Perspectives in mathematical logic
Subject:	Arithmetic -- Foundations Arithmetic -- Foundations.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1361195

Hidden Bibliographic Details
Other authors / contributors:	Pudlák, Pavel, 1952-
ISBN:	3540506322 (Berlin : acid-free paper) : DM168.00 0387506322 (New York : acod-free paper)
Notes:	Includes bibliographical references (p. [409]-453) and indexes.

Eckhart

Loading map link

Holdings details from Eckhart
Call Number:	QA248.H230 1993
c.1	Available Loan period: standard loan Request for Pickup Need help? - Ask a Librarian