
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
₹5,499

Lecture Notes in Logic 22
CRC Press · 2005 · Paperback
Free delivery. Nothing extra to pay at checkout.
Intensionality: Lecture Notes in Logic 22 is written by Reinhard Kahle. This paperback edition from CRC Press (2005) has 265 pages. The book is part of the Lecture notes in logic series.
Its main subjects are Symbolic and mathematical Logic, Philosophy, Congresses and Mathematics.