机读格式显示(MARC)
- 000 01074cam 2200301 a 4500
- 008 730529m19569999nju b 001 0 eng
- 040 __ |a DLC |c DLC |d DLC
- 100 1_ |a Church, Alonzo, |d 1903-1995.
- 245 10 |a Introduction to mathematical logic / |c by Alonzo Church.
- 260 __ |a Princeton : |b Princeton University Press, |c 1956-
- 490 0_ |a Princeton mathematical series, 17
- 500 __ |a Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies."
- 504 __ |a Includes bibliographical references and index.
- 650 _0 |a Logic, Symbolic and mathematical.
- 905 __ |a CAU |f O141/CA |b E0277849
- 907 __ |a CAU |f O141/CA |b E0277849
- 999 __ |t C |A gxr |a 20100917 09:35:26 |I gxr |i 20100917 09:39:44 |G gxr |g 20100919 13:44:4