Metamathematics of first-order arithmetic

RecordNumber :

18524

LC Class :

LC Number :

248

LC CutterNumber :

.H23

Dewey Class :

513

Dewey Date :

/.01

Author :

Title :

Author Statement :

Petr Hajek, Pavel Pudlak

Publication :

Springer-Verlag

Publication Year :

v1993

Collation :

xiv, 460 p.; 25 cm

Series :

Perspectives in mathematical logic

Subject :

ADDED ENTRIES :

Pudlak, Pavel, 1952-

Holding Info. :

3540506322

DocumentNumber :

24905

Biblography :

Includes bibliographical references (p. [409]-453) and indexes

BL :

Link To Document :