Beweis Mathematik

18 books
The Moment of ProofDonald C. Benson
⏱ 5h 37m

The Moment of Proof

Donald C. Benson

1999337 pp.
Proofs from the bookMartin Aigner
⏱ 3h 27m

Proofs from the book

Martin Aigner

1998207 pp.
Numbers and proofsR. B. J. T. Allenby
⏱ 4h 34m

Numbers and proofs

R. B. J. T. Allenby

1997274 pp.
Das BUCH der BeweiseMartin Aigner

Das BUCH der Beweise

Martin Aigner

2004No page data
Logic and proofMarvin L. Bittinger
⏱ 2h 9m

Logic and proof

Marvin L. Bittinger

1970129 pp.
Automated Theorem ProvingW. Bibel

Automated Theorem Proving

W. Bibel

1982No page data
Das Buch der BeweiseMartin Aigner
⏱ 5h 10m

Das Buch der Beweise

Martin Aigner

2010310 pp.
Verblu fft?!Julian Havil
⏱ 3h 6m

Verblu fft?!

Julian Havil

2009186 pp.
Proofs from THE BOOKMartin Aigner
⏱ 4h 28m

Proofs from THE BOOK

Martin Aigner

2005268 pp.
Abel's ProofPeter Pesic
⏱ 3h 41m

Abel's Proof

Peter Pesic

2003221 pp.
Why Is There Philosophy Of Mathematics At AllIan Hacking

Why Is There Philosophy Of Mathematics At All

Ian Hacking

2014No page data
Automated theorem provingW. Bibel
⏱ 4h 48m

Automated theorem proving

W. Bibel

1987288 pp.
Brownian Motion And Its Applications To Mathematical Analysis Cole Dt De Probabilits De Saintflour Xliii 2013Krzysztof Burdzy
⏱ 2h 17m

Brownian Motion And Its Applications To Mathematical Analysis Cole Dt De Probabilits De Saintflour Xliii 2013

Krzysztof Burdzy

2014137 pp.
Deduction Computation Experiment Exploring The Effectiveness Of ProofGiovanna Corsi
⏱ 4h 39m

Deduction Computation Experiment Exploring The Effectiveness Of Proof

Giovanna Corsi

2008279 pp.
A Bridge to Abstract Mathematics (Mathematical Association of America Textbooks)Ralph W. Oberste-Vorth
⏱ 4h 9m

A Bridge to Abstract Mathematics (Mathematical Association of America Textbooks)

Ralph W. Oberste-Vorth

2012249 pp.
Simplified independence proofsRosser, J. Barkley
⏱ 3h 37m

Simplified independence proofs

Rosser, J. Barkley

1969217 pp.
Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)J. Barkley Rosser
⏱ 3h 52m

Simplified Independence Proofs: Boolean Valued Models of Set Theory (Pure & Applied Mathematics)

J. Barkley Rosser

1969232 pp.
Proof, logic, and formalizationMichael Detlefsen
⏱ 4h 1m

Proof, logic, and formalization

Michael Detlefsen

1992241 pp.