Filter By
Books (8)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Structural Proof Theory by Professor Sara Negri 9780521793070
Booksplease Price: $193.89Structural 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: $88.35Structural 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 9781107008953
Booksplease Price: $218.77This 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 9781107417236
Booksplease Price: $88.35This 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: $51.89Some 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: $161.85Some 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: $214.48Booksplease Price: $214.09In 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: $214.48Booksplease Price: $214.09In 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...