Filter By
Books (8)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Structural Proof Theory by Professor Sara Negri 9780521793070
Booksplease Price: $208.80Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and... -
Structural Proof Theory by Professor Sara Negri 9780521068420
Booksplease Price: $95.15Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and... -
Proof Analysis: A Contribution to Hilbert's Last Problem by Professor Sara Negri 9781107417236
Booksplease Price: $95.15This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems... -
Proof Analysis: A Contribution to Hilbert's Last Problem by Professor Sara Negri 9781107008953
Booksplease Price: $235.60This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems... -
Elements of Logical Reasoning by Jan von Plato
Booksplease Price: $55.88Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been... -
Elements of Logical Reasoning by Jan von Plato 9781107036598
Booksplease Price: $174.30Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been... -
Mathesis Universalis, Computability and Proof by Stefania Centrone 9783030204464
RRP: $230.98Booksplease Price: $230.56In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes "the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined"; in... -
Mathesis Universalis, Computability and Proof by Stefania Centrone 9783030204495
RRP: $230.98Booksplease Price: $230.56In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes "the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined"; in...