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

Publication:

Berlin ; New York : Springer-Verlag, 1984.

Conference Name:

Logic Colloquium (1983 : Aachen, Germany)

Series:

Lecture notes in mathematics (Springer-Verlag) ; 1103-1104.
Lecture notes in mathematics ; 1103-1104

Format/Description:

Conference/Event
Book
2 v. : ill. ; 25 cm.

Subjects:

Logic, Symbolic and mathematical -- Congresses.

Contents:

pt. 1. Models and sets / edited by G.H. Müller and M.M. Richter
pt. 2. Computation and proof theory / edited by E. Börger ... et al.

Notes:

Includes bibliographies.

Contributor:

Müller, G. H. (Gert Heinz), 1923-

ISBN:

0387139001 (U.S. : pbk. : v. 1)
038713901X (U.S. : pbk. : v. 2)

OCLC:

11518968

Online:

Online access from HathiTrust during COVID-19 — only for students, active faculty, and permanent staff
http://catalog.hathitrust.org/api/volumes/oclc/11518968.html

Loading...