Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Lecture Notes in Mathematics 1104 (Paperback)
  • Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Lecture Notes in Mathematics 1104 (Paperback)
zoom

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory - Lecture Notes in Mathematics 1104 (Paperback)

(editor), (editor), (editor), (editor), (editor)
£34.50
Paperback 482 Pages / Published: 01/12/1984
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540139010
Number of pages: 482
Weight: 1500 g
Dimensions: 235 x 155 x 24 mm
Edition: 1984 ed.

You may also be interested in...

Basic Category Theory
Added to basket
Introduction to Logic
Added to basket
Godel's Proof
Added to basket
£9.99
Paperback
An Introduction to Non-Classical Logic
Added to basket
The Foundations of Mathematics
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback
Set Theory
Added to basket
£14.50
Paperback
How to Prove It
Added to basket
Defending the Axioms
Added to basket
Introducing Infinity
Added to basket
Modern Logic
Added to basket
£77.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.