Franklin

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
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy