Your search returned 2 results.

Results
	1.	Computation and proof theory: proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II/ edited by M.M. Richter ... [et al.]. by Logic Colloquium (1983 : Aachen, Germany) Richter, Michael M, 1938- Series: Lecture notes in mathematics (Springer-Verlag) ; 1104. Publication details: Berlin; New York: Springer-Verlag, 1984 Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)
	2.	No cover image available No cover image available No cover image available Models and sets: proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983/ edited by G.H. Müller and M.M. Richter. by Logic Colloquium (1983 : Aachen, Germany) Müller, G. H. (Gert Heinz), 1923- Richter, Michael M, 1938- Series: Lecture notes in mathematics (Springer-Verlag) ; 1103-. Publication details: Berlin; New York: Springer-Verlag, 1984- Availability: Items available for loan: Castorina (1). Found in Open Library: Place hold Add to cart (remove)

Refine your search