How to prove it by Daniel J. Velleman
Not in Library
Mathematical proofs by Gary Chartrand, Albert D. Polimeni, Zhang, Ping, Ping Zhang
Not in Library
Incompleteness by Rebecca Goldstein
Preview Only
Four Colours Suffice by Robin J. Wilson
Borrow
The Moment of Proof by Donald C. Benson
Borrow
Logic, proof, and sets by Marvin Bittinger
Borrow
Mathematical proofs by Daniel Solow, Solow
Preview Only
An Introduction to Mathematical Reasoning by Peter J. Eccles
Preview Only
Proofs and Fundamentals by Ethan D. Bloch
Borrow
Analysis With An Introduction to Proof, 5th Edition by Steven R. Lay
Preview Only
Journey into Mathematics by Joseph J. Rotman
Borrow
Mathematical reasoning by Ted Sundstrom
Borrow

Publishing History

This is a chart to show the publishing history of editions of works about this subject. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart.  This graph charts editions published on this subject.
Editions Published
Year of Publication

Related...

Subjects
Symbolic and mathematical Logic, Mathematics, Logic, symbolic and mathematical, Logic, Mathematical analysis, Automatic theorem proving, Congresses, Intuitionistic mathematics, Philosophy, Computational complexity, Logic, Symbolic and mathematical, Théorie de la preuve, Modality (Logic), Beweistheorie, MATHEMATICS, Set theory, History, Logique symbolique et mathématique, Modality (logic), Preuve, Théorie de la
Places
United States, Austria, Korea (South), Ontario
People
Kurt Gödel (1906-1978), Harirāmatarkavāgīśa (17th cent), Stig Kanger, Alfred Tarski, Emil Leon Post (1897-1954), Gadādharabhaṭṭācārya (17th/18th cent), Gottlob Frege (1848-1925), Jayadevamiśra (1425-1500), K. Schütte, Kurt Gödel
Times
19th century, 21st century

Prolific Authors

who have written the most books on this subject
Jean-Yves Girard, 4 books
H. Wansing, 3 books
Melvin Fitting, 3 books
Douglas Walton, 3 books
Reinhard Kahle, 3 books
Jan Krajíček, 3 books
Steven R. Lay, 3 books
Wolfram Pohlers, 3 books
Lincoln A. Wallen, 2 books
Andrew Wohlgemuth, 2 books
Wilfried Buchholz, 2 books
Samuel R. Buss, 2 books
Gaisi Takeuti, 2 books
Michael Detlefsen, 2 books
Charles E. Roberts, 2 books
K. Schütte, 2 books
Horst Luckhardt, 2 books
Roger B. Nelsen, 2 books
Edward B. Burger, 2 books
Randall Maddox, 2 books
Iman Hafiz Poernomo, 2 books
Martin Wirsing, 2 books
Peter Clote, 2 books
David S. G. Stirling, 2 books
K. Dosen, 2 books