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
|