عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 .G6 1996a
QA
9
.
A1
.
G6
1996a
کتابخانه
محل استقرار
130226
130427
تابستان۱۸
English
)20-24(
Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Natick, Mass.
Association for Symbolic Logic
2001
viii, 322 p.: ill.; 24 cm
Lecture notes in logic
6
Originally published: Berlin: Springer-Verlag, 1996
Includes bibliographical references
Congresses ، Logic, Symbolic and mathematical
Congresses ، Mathematics-- Philosophy
Congresses ، Computer science
Congresses ، Mathematical physics
QA
9
.
A1
.
G6
1996a
AU
edited by Petr Hajek
AU rteP ,kejaH
TI
SE
Godel'96 )1996: Brno, Czech Republic(
165
02
