Contact
DMCA
Privacy Policy
EBookin
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Mathematics Formalisation Books Categories
home
Mathematics Formalisation Books Categories
Mathematics Formalisation Categories Books List
Mathematics Formalisation Books Categories
View More
Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 185)
By:
A. Biere
View More
Programs and Proofs: Mechanizing Mathematics with Dependent Types (ebook)
By:
Ilya Sergey
View More
Program = Proof (Paperback)
By:
Samuel Mimram
View More
Theorem Proving in Lean (ebook)
By:
Jeremy Avigad
View More
Logic and Proof (Unknown Binding)
By:
Jeremy Avigad
View More
Types and Programming Languages (Hardcover)
By:
Benjamin C. Pierce
View More
Mathematics and Computation: A Theory Revolutionizing Technology and Science (Kindle Edition)
By:
Avi Wigderson
View More
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (Hardcover)
By:
Adam Chlipala
View More
Exploring Mathematics: An Engaging Introduction to Proof (Cambridge Mathematical Textbooks)
By:
John Meier
View More
Introduction to Proofs and Proof Strategies (Cambridge Mathematical Textbooks)
By:
Shay Fuchs
View More
Bourbaki: A Secret Society of Mathematicians (Paperback)
By:
Maurice Mashaal
View More
Mathematical Logic and Computation (Hardcover)
By:
Jeremy Avigad
View More
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
By:
Samuel R. Buss
View More
Type Theory and Formal Proof: An Introduction (Hardcover)
By:
Rob Nederpelt
View More
Introduction to Formal Philosophy (Springer Undergraduate Texts in Philosophy)
By:
Sven Ove Hansson
View More
Logic for Computer Science: Foundations of Automatic Theorem Proving (Dover Books on Computer Science)
By:
Jean H. Gallier
View More
Mathematical Writing (Springer Undergraduate Mathematics Series)
By:
Franco Vivaldi
View More
Book of Proof (Paperback)
By:
Richard Hammack
View More
Mathematical Proofs: A Transition to Advanced Mathematics (Hardcover)
By:
Gary Chartrand
View More
Computer Aided Assessment of Mathematics (ebook)
By:
Chris Sangwin
View More
Automated Theorem Proving (Künstliche Intelligenz)
By:
Wolfgang Bibel
View More
Automated theorem proving: A logical basis (Fundamental studies in computer science)
By:
Donald W. Loveland
View More
Handbook of Practical Logic and Automated Reasoning (Hardcover)
By:
John E. Harrison
View More
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
By:
Clara Löh
View More
Proof, Logic and Formalization (Hardcover)
By:
Michael Detlefsen