Media type: E-Book; Conference Proceedings Title: Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 Contributor: Macintyre, Angus [HerausgeberIn]; Pacholski, Leszek [HerausgeberIn]; Paris, Jeff B. [HerausgeberIn] imprint: Amsterdam; New York; Oxford: North Holland Publishing Company, 1978 Online-Ausg.: [Amsterdam]: Elsevier, [2021?] Published in: Studies in logic and the foundations of mathematics ; 96 Extent: viii, 311 Seiten Language: English ISBN: 9780080955049; 0080955045; 9780444851789 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, SD 1977 : Veranstaltungsjahr 1977 Keywords: Mathematische Logik Mathematische Logik Type of reproduction: Online-Ausg. Place of reproduction: [Amsterdam]: Elsevier, [2021?] Origination: Footnote: Includes bibliographical references. - Print version record Description: Provability, Computability and Reflection