|
A framework for priority arguments
|
M. Lerman |
"This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most… |
OL15118783W |
|
Handbook of mathematical induction
|
David S. Gunderson |
"Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written pro… |
OL15975671W |
|
Proof analysis
|
Sara Negri |
"This 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… |
OL15991558W |
|
Linear Logic in Computer Science
|
Philip Scott,Jean-Yves Girard |
This book illustrates linear logic in the application of proof theory to computer science. |
OL19812712W |
|
The Dynamics of Judicial Proof
|
Marilyn MacCrimmon |
Fact finding in judicial proceedings is a dynamic process. This collection of papers considers whether computational methods or other formal logical methods developed in disciplines such as artificia… |
OL19844479W |
|
Musical Haptics
|
Stefano Papetti,Charalampos Saitis |
Haptic Musical Instruments; Haptic Psychophysics; Interface Design and Evaluation; User Experience; Musical Performance |
OL20713193W |
|
Space in Weak Propositional Proof Systems
|
Ilario Bonacina |
1 online resource |
OL20810530W |
|
Q.E.D
|
Burkard Polster |
Q.E.D. presents some of the most famous mathematical proofs in a charming book that will appeal to nonmathematicians and math experts alike. Grasp in an instant why Pythagoras's theorem must be corre… |
OL2747459W |
|
How to prove it
|
Daniel J. Velleman |
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the tran… |
OL3918291W |