Visit our Christmas Gift Finder
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 dispatched 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...

Equation That Couldn't be Solved
Added to basket
Numbers, Sequences and Series
Added to basket
Alan Turing's Systems of Logic
Added to basket
Foundation Mathematics for Biosciences
Added to basket
Naive Set Theory
Added to basket
£8.95
Paperback
Godel's Proof
Added to basket
£10.99
Paperback
The Foundations of Mathematics
Added to basket
Sets, Logic and Categories
Added to basket
Logic
Added to basket
£10.99
Paperback
Active Arithmetic!
Added to basket
Introducing Infinity
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.