Logic Symposia, Hakone, 1979, 1980 : proceedings of a conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980

LDR 01437nam a22003611a 4500
001 000261366
003 MiAaHDL
005 20240704000000.0
006 m d
007 cr bn ---auaua
008 880718s1981 wb b 100 0 eng
010 ⊔ ⊔ ‡a81018424
020 ⊔ ⊔ ‡a9783540111610
020 ⊔ ⊔ ‡a0387111611 ‡q(U.S.)
035 ⊔ ⊔ ‡a(MiU)990002613660106381
035 ⊔ ⊔ ‡asdr-miu.990002613660106381
035 ⊔ ⊔ ‡z(MiU)MIU01000000000000000261366-goog
035 ⊔ ⊔ ‡a(OCoLC)7944723
035 ⊔ ⊔ ‡a(CaOTULAS)160489736
035 ⊔ ⊔ ‡a(RLIN)MIUG82-B13768
035 ⊔ ⊔ ‡z(MiU)Aleph000261366
040 ⊔ ⊔ ‡dMiU
050 0 ⊔ ‡aQA3 ‡b.L28 no. 891 ‡aQA9.A1
111 2 ⊔ ‡aLogic Symposia. ‡d(1979 : ‡cHakone-machi, Japan)
245 1 0 ‡aLogic Symposia, Hakone, 1979, 1980 : ‡bproceedings of a conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / ‡cedited by G.H. Müller, G. Takeuti, and T. Tugué.
260 ⊔ ⊔ ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1981.
300 ⊔ ⊔ ‡axi, 394 p. ; ‡c24 cm.
490 0 ⊔ ‡aLecture notes in mathematics (Springer-Verlag) ; ‡v891
504 ⊔ ⊔ ‡aIncludes bibliographies.
538 ⊔ ⊔ ‡aMode of access: Internet.
650 ⊔ 0 ‡aLogic, Symbolic and mathematical ‡vCongresses.
700 1 ⊔ ‡aTugué, T. ‡q(Tosiyuki), ‡d1926-
700 1 ⊔ ‡aTakeuti, Gaisi, ‡d1926-2017.
700 1 ⊔ ‡aMüller, G. H. ‡q(Gert Heinz), ‡d1923-
711 2 ⊔ ‡aLogic Symposia. ‡d(1980 : ‡cHakone-machi, Japan)
899 ⊔ ⊔ ‡a39015040415039
CID ⊔ ⊔ ‡a000261366
DAT 0 ⊔ ‡a20210504090915.0 ‡b20240704000000.0
DAT 1 ⊔ ‡a20240704060829.0 ‡b2024-07-05T06:25:13Z
DAT 2 ⊔ ‡a2023-11-08T18:30:02Z
CAT ⊔ ⊔ ‡aSDR-MIU ‡cmiu ‡dALMA ‡lprepare.pl-004-008
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-miu.990002613660106381 ‡aMiU ‡bSDR ‡cMIU ‡f000261366 ‡pmdp.39015040415039 ‡sMIU ‡1990002613660106381
974 ⊔ ⊔ ‡bMIU ‡cMIU ‡d20240705 ‡sgoogle ‡umdp.39015040415039 ‡y1981 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929