TY  - BOOK
A1  - Petr Hajek )ed.(
TI  - Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
PB  - کتابخانه پژوهشگاه دانشهای بنیادی
SN  - 101379548
UR  /book/101379548/Godel96-logical-foundations-of-mathematics-com/
ER  -