Filter By
Books (9)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
The Legacy of Kurt Schütte by Reinhard Kahle 9783030494230
Booksplease Price: £112.15This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that... -
Advances in Proof Theory by Reinhard Kahle 9783319291963
Booksplease Price: £91.36The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas... -
The Legacy of Kurt Schutte by Reinhard Kahle 9783030494261
RRP: £109.99Booksplease Price: £109.79This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject. Schutte was the last doctoral student of David Hilbert who was the first to see that proofs... -
Advances in Proof Theory by Reinhard Kahle 9783319805139
Booksplease Price: £90.86The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas... -
Intensionality: Lecture Notes in Logic 22 by Reinhard Kahle 9781568812670
RRP: £120.00Booksplease Price: £110.39A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles... -
Intensionality: Lecture Notes in Logic 22 Reinhard Kahle 9781568812687
RRP: £50.99Booksplease Price: £48.18A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles... -
Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings by Reinhard Kahle 9783540427520
Booksplease Price: £46.74Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory... -
The Palgrave Centenary Companion to Principia Mathematica by N. Griffin 9781137344625
Booksplease Price: £102.52To mark the centenary of the 1910 to 1913 publication of the monumental Principia Mathematica by Alfred N. Whitehead and Bertrand Russell, this collection of fifteen new essays by distinguished... -
Axiomatic Thinking II by Fernando Ferreira 9783030778019
Booksplease Price: £91.38In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics,...