EN ورود

کشف منابع

Theorem

کتاب‌ها

10 نتیجه

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

English Intermediate

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

Singh,Simon

2017;1998 مشاهدهٔ کتاب

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

English Unordered

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

Amir D. Aczel

1997 مشاهدهٔ کتاب

Cover of The Four-Color Theorem and Basic Graph Theory

English Beginner

The Four-Color Theorem and Basic Graph Theory

Chris McMullen

2020 مشاهدهٔ کتاب

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

English Beginner

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

Andrea Bonfiglioli,Roberta Fulci (auth.)

2012 مشاهدهٔ کتاب

Cover of On Formally Undecidable Propositions of Principia Mathematica and Related Systems

English Beginner

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Kurt Gödel

1992 مشاهدهٔ کتاب

Cover of A Completeness Theorem in Modal Logic (paper)

English Beginner

A Completeness Theorem in Modal Logic (paper)

Kripke Saul

0 مشاهدهٔ کتاب

Cover of First-Order Logic and Automated Theorem Proving

English Beginner

First-Order Logic and Automated Theorem Proving

Melvin Fitting

1996 مشاهدهٔ کتاب

Cover of Algebraic Number Theory and Fermat's Last Theorem

English Beginner

Algebraic Number Theory and Fermat's Last Theorem

Ian Stewart,David Tall

2002 مشاهدهٔ کتاب

Cover of Modular Forms and Fermat’s Last Theorem

English Beginner

Modular Forms and Fermat’s Last Theorem

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

1997 مشاهدهٔ کتاب

Cover of Verified Functional Programming in Agda

English Unordered

Verified Functional Programming in Agda

Aaron Stump

2016 مشاهدهٔ کتاب