Search result

Provability, Computability and Reflection English 01.01.1988 Paperback / Softback Fr. 85.00 1-3 weeks (not available at short notice)
Basic Proof Theory English 27.07.2000 Paperback / Softback Fr. 109.20 2-3 weeks (title will be printed to order)
Lectures on Linear Logic English 30.05.1992 Paperback / Softback Fr. 35.50 3-5 weeks (title will be specially ordered)