|
|
|
|
LEADER |
01260nam a2200313 a 4500 |
001 |
1968560 |
005 |
20171111235858.0 |
008 |
991008r19961956gr er 001 0 eng d |
020 |
|
|
|a 0691029067
|
040 |
|
|
|a GrAtEKP.Mathimatiko
|b gre
|
082 |
|
0 |
|2 22
|a 511.3
|
082 |
|
0 |
|2 21
|a 511.3
|
100 |
1 |
0 |
|a Church, Alonzo,
|d 1903-1995
|
245 |
0 |
0 |
|a Introduction to mathematical logic/
|c by Alonzo Church
|
260 |
0 |
0 |
|a Princeton:
|b Princeton University Press,
|c 1956
|
300 |
0 |
0 |
|a ix, 378 p. ;
|c 24 cm.
|
500 |
0 |
0 |
|a A beginning course in Mathematical Logic.
|
500 |
0 |
0 |
|a Includes index
|
500 |
0 |
0 |
|a Originally published in 1944 in the Annals of Mathematics Studies. A revised and enlarged edition was published in 1956 in the Princeton Mathematical Series.
|
504 |
0 |
0 |
|a Includes index
|
504 |
0 |
0 |
|a Includes index.
|
504 |
0 |
0 |
|a Includes indexes.
|
650 |
0 |
0 |
|a Mathematical logic
|
650 |
0 |
0 |
|a Logic, Symbolic and mathematical
|
650 |
0 |
0 |
|a Logic, Symbolic and mathematical
|
650 |
0 |
0 |
|a Logic, Symbolic and mathematical
|x Problems, exercises, etc.
|
650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
952 |
|
|
|a GR-AtNTU
|b 59cc27206c5ad13446f98bbe
|c 998a
|d 945l
|e 511.3 CHU
|t 1
|x m
|z Books
|
952 |
|
|
|a GrAtEKP
|b 59cd24456c5ad1344610a452
|c 998a
|d 945l
|e 511.3 ChuA i 1996
|t 5
|x m
|z Books
|