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

• Material Type: 図書
• Title: Proceedings of the Logic Colloquium, held in Aachen, July 18-23, 1983.
• Series Title: Lecture notes in mathematics ; 1103-1104
• Title Heading: Lecture notes in mathematics (Springer-Verlag) ; 1103-1104.
• Author Heading: Logic Colloquium (1983 : Aachen, Germany); Müller, G. H. (Gert Heinz) , 1923-
• Publication, Distribution, etc.: Berlin : Springer-Verlag; New York : Springer-Verlag
• Publication Date: 1984.
• Publication Date (W3CDTF): 1984
• Extent: 2 v. ; 25 cm.
• Place of Publication (Country Code): DE
• Text Language Code: eng
• Subject Heading: Logic, Symbolic and mathematical -- Congresses.
• LCC: QA3; QA9.A1
• DDC: 510 s; 511.3
• NDLC: M15; MA
• Note (Bibliography): Includes bibliographies.
• Holding library: 国立国会図書館
• Call No.: M15-A3271
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000003121974; http://id.ndl.go.jp/bib/000003121974
• LC Control Number: 84026704; https://lccn.loc.gov/84026704
• Cataloging Rule: Anglo-American Cataloging Rules
• Bibliographic Record Category (NDL): 211

• Contents: pt. 1. Models and sets / edited by G.H. Müller and M.M. Richterpt. 2. Computation and proof theory / edited by E. Börger ... et al.(Provided by: 国立国会図...