|
|
|
|
LEADER |
00657nam a2200193 a 4500 |
001 |
1103840 |
005 |
20171111232447.0 |
008 |
091012m1956 gr er 001 0 eng d |
020 |
|
|
|a 0691079846
|
040 |
|
|
|a GrAtEKP.sci
|b gre
|e AACR2
|
082 |
|
0 |
|2 22
|a 511.3
|
100 |
1 |
|
|a Church, Alonzo,
|d 1903-1995
|
245 |
1 |
0 |
|a Introduction to mathematical logic/
|c by Alonzo Church
|
260 |
|
|
|a New Jersey:
|b Princeton University Press,
|c 1956-
|
300 |
|
|
|a v. ;
|c 24 cm.
|
490 |
0 |
|
|a Princeton Mathematical Series ;
|v 17
|
500 |
|
|
|a Includes index.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|
952 |
|
|
|a GrAtEKP
|b 59cce4296c5ad134460b608e
|c 998a
|d 945l
|e 511.3 ChuA i 1956- 1
|t 1
|x m
|z Books
|