Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Lecture Notes in Mathematics 1104 (Paperback)M.M. Richter (editor), E. Borger (editor), Walter Oberschelp (editor), B. Schinzel (editor), W. Thomas (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 482
Weight: 1500 g
Dimensions: 235 x 155 x 24 mm
Edition: 1984 ed.
You may also be interested in...
Please sign in to write a review