Goedel'96: : logical foundations of mathematics, computer science and physics- Kurt Goedel's legacy/

Corporate Authors: Goedel'96 (Proceedings), Bruno
Other Authors: Hagek, Petr
Format: Book
Published: Berlin: Springer-Verlag, c1996
Series:Lecture Notes in Logic ; 6
Subjects:
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