Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983

LDR 01684nam a22004098a 4500
001 007056106
002 u64970
003 MiAaHDL
005 20171211000000.0
006 m d
007 cr bn ---auaua
008 841127s1984 gw a b 10010 eng
010 ⊔ ⊔ ‡a 84026704
020 ⊔ ⊔ ‡a354013901X (v. 2 : West Germany)
020 ⊔ ⊔ ‡a3540139001 (v. 1 : West Germany)
035 ⊔ ⊔ ‡asdr-uva.u64970
035 ⊔ ⊔ ‡asdr-pst.a1966404
035 ⊔ ⊔ ‡a(OCoLC)11518968
035 ⊔ ⊔ ‡a(Sirsi) o11518968
035 ⊔ ⊔ ‡a(Sirsi) o11518968
039 0 ⊔ ‡a2 ‡b3 ‡c3 ‡d3 ‡e3
040 ⊔ ⊔ ‡aDLC ‡cDLC ‡dVA@
049 ⊔ ⊔ ‡aVA@M
050 0 ⊔ ‡aQA3 ‡b.L28 no. 1103-1104 ‡aQA9.A1
082 0 ⊔ ‡a510 s ‡a511.3 ‡219
090 ⊔ ⊔ ‡aQA3 ‡b.L28 no.1103-, 1104 ‡mVA@M ‡qMATH
111 2 ⊔ ‡aLogic Colloquium ‡d(1983 : ‡cAachen, Germany)
245 1 0 ‡aProceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
260 ⊔ ⊔ ‡aBerlin ; ‡aNew York : ‡bSpringer-Verlag, ‡c1984.
263 ⊔ ⊔ ‡a8412
300 ⊔ ⊔ ‡a2 v. : ‡bill. ; ‡c25 cm.
490 0 ⊔ ‡aLecture notes in mathematics ; ‡v1103-1104
504 ⊔ ⊔ ‡aIncludes bibliographies.
505 0 ⊔ ‡apt. 1. Models and sets / edited by G.H. Müller and M.M. Richter -- pt. 2. Computation and proof theory / edited by M.M. Richter ... et al.
538 ⊔ ⊔ ‡aMode of access: Internet.
596 ⊔ ⊔ ‡a8
650 ⊔ 0 ‡aLogic, Symbolic and mathematical ‡vCongresses.
700 1 ⊔ ‡aRichter, Michael M., ‡d1938-
700 1 ⊔ ‡aMüller, G. H. ‡q(Gert Heinz), ‡d1923-
740 0 ⊔ ‡aComputation and proof theory.
740 0 ⊔ ‡aModels and sets.
CID ⊔ ⊔ ‡a007056106
DAT 0 ⊔ ‡b20171211000000.0
DAT 1 ⊔ ‡a20171213112553.0 ‡b2023-01-31T18:45:06Z
DAT 2 ⊔ ‡a2023-01-31T18:30:03Z
CAT ⊔ ⊔ ‡aSDR-UVA ‡dUNKNOWN ‡lprepare.pl-004-007
FMT ⊔ ⊔ ‡aBK
HOL ⊔ ⊔ ‡0sdr-uva.u64970 ‡auva ‡bSDR ‡cUVA ‡puva.x001450306 ‡sUVA ‡zno.1104 ‡1u64970
974 ⊔ ⊔ ‡bUVA ‡cUVA ‡d20230131 ‡sgoogle ‡uuva.x001450306 ‡zno.1104 ‡y1984 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929
974 ⊔ ⊔ ‡bUVA ‡cUVA ‡d20231016 ‡sgoogle ‡uuva.x001450305 ‡zno.1103 ‡y1984 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929
974 ⊔ ⊔ ‡bPST ‡cPST ‡d20240808 ‡sgoogle ‡upst.000021096631 ‡zpt.2 ‡y1984 ‡ric ‡qbib ‡tnon-US bib date1 >= 1929