|
|
|
|
LEADER |
00784nam a2200217 a 4500 |
001 |
719777 |
005 |
20171111231057.0 |
008 |
971119s1996----gr r u000 0 Eng d |
020 |
|
|
|a 3540614346
|
040 |
|
|
|a GR-AtNTU
|b gre
|
082 |
|
0 |
|a 511.3
|
111 |
2 |
|
|a Goedel'96 (Proceedings)
|d (1996)
|
245 |
1 |
0 |
|a Goedel'96:
|b : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy/
|c / Bruno, Czech Republic ; ; Edited by Petr Hajek
|
260 |
|
|
|a Berlin:
|b Springer-Verlag,
|c c1996
|
300 |
|
|
|a viii, 322p. ;
|c ; 23cm.
|
490 |
0 |
|
|a Lecture Notes in Logic
|v ; 6
|
650 |
1 |
0 |
|a Logic, Symbolic and mathematical
|
650 |
1 |
0 |
|a Mathematics
|x - Philosophy
|
700 |
1 |
|
|a Hagek, Petr
|
710 |
2 |
|
|a Bruno
|
952 |
|
|
|a GR-AtNTU
|b 59cc22c56c5ad13446f8df8f
|c 998a
|d 945l
|e 511.3
|t 1
|x m
|z Books
|