Theorem

English Intermediate

Fermat's enigma: the epic quest to solve the world's greatest mathematical problem

Singh,Simon

2017;1998 View book

English Unordered

Fermat's last theorem: unlocking the secret of an ancient mathematical problem

Amir D. Aczel

1997 View book

English Beginner

The Four-Color Theorem and Basic Graph Theory

Chris McMullen

2020 View book

English Beginner

Topics in Noncommutative Algebra: The Theorem of Campbell, Baker, Hausdorff and Dynkin

Andrea Bonfiglioli,Roberta Fulci (auth.)

2012 View book

English Beginner

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

1992 View book

English Beginner

A Completeness Theorem in Modal Logic (paper)

Kripke Saul

0 View book

English Beginner

First-Order Logic and Automated Theorem Proving

Melvin Fitting

1996 View book

English Beginner

Algebraic Number Theory and Fermat's Last Theorem

Ian Stewart,David Tall

2002 View book

English Beginner

Modular Forms and Fermat’s Last Theorem

Glenn Stevens (auth.),Gary Cornell,Joseph H. Silverman,Glenn Stevens (eds.)

1997 View book

English Unordered

Verified Functional Programming in Agda

Aaron Stump

2016 View book