£22.00
Meaning of Proofs
£22.00
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Program Proofs
Proof and the Art of Mathematics
Proof and the Art of Mathematics
Introduction to Mathematical Proofs
Formalized Probability Theory and Applications Using Theorem Proving
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
First-Order Schemata and Inductive Proof Analysis
Proof, Logic and Formalization
Definitions and Mathematical Knowledge
Nuts and Bolts of Proofs
Meaning and Justification. An Internalist Theory of Meaning