Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings

LDR 01269nam a2200313 a 4500
001 003115609
003 MiAaHDL
005 20210817000000.0
006 m d
007 cr bn ---auaua
008 970211s1996 gw a b 100 0 eng
010 ‡a96026784
020 ‡a3540614346 ‡q(softcover : acid-free paper)
035 ‡a(MiU)990031156090106381
035 ‡asdr-miu.990031156090106381
035 ‡a(OCoLC)34932845
035 ‡z(MiU)Aleph003115609
040 ‡aDLC ‡cDLC ‡dEYM
050 0 0 ‡aQA9.A1 ‡bG6 1996
082 0 0 ‡a511.3 ‡220
111 2 ‡aGödel '96 ‡d(1996 : ‡cBrno, Czech Republic)
245 1 0 ‡aGödel '96 : ‡blogical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings / ‡cPetr Hájek (ed.).
246 3 0 ‡aLogical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
260 ‡aBerlin ; ‡aNew York : ‡bSpringer, ‡cc1996.
300 ‡aviii, 322 p. : ‡bill. ; ‡c24 cm.
490 0 ‡aLecture notes in logic ; ‡v6
504 ‡aIncludes bibliographical references.
538 ‡aMode of access: Internet.
650 0 ‡aMathematical physics ‡vCongresses.
650 0 ‡aComputer science ‡vCongresses.
650 0 ‡aMathematics ‡xPhilosophy ‡xCongresses.
650 0 ‡aLogic, Symbolic and mathematical ‡vCongresses.
700 1 ‡aHájek, Petr.
CID ‡a003115609
DAT 0 ‡a19970211000000.0 ‡b20210817000000.0
DAT 1 ‡a20210909090722.0 ‡b2023-11-08T18:45:32Z
CAT ‡aSDR-MIU ‡dALMA ‡lprepare.pl-004-008
FMT ‡aBK
HOL ‡0sdr-miu.990031156090106381 ‡aMiU ‡bSDR ‡cMIU ‡pmdp.39015038540590 ‡sMIU ‡1990031156090106381
974 ‡bMIU ‡cMIU ‡d20231108 ‡sgoogle ‡umdp.39015038540590 ‡y1996 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929