Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
Rod Downey
Download Now
Format: eBook (PDF)
From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Domenico Cantone
Download Now
Format: eBook (EPUB)
Figurierte Zahlen : Veranschaulichung als heuristische Strategie
Jochen Ziegenbalg
Download Now
Format: eBook (EPUB)
Mathematical Proofs: A Transition to Advanced Mathematics : Pearson New International Edition
Gary Chartrand
Download Now
Format: eBook (PDF)
Taking Sudoku Seriously : The Math Behind the World's Most Popular Pencil Puzzle
Jason Rosenhouse
Download Now
Format: eBook (PDF)
Foundations without Foundationalism : A Case for Second-Order Logic
Stewart Shapiro
Download Now
Format: eBook (PDF)
Joy of Abstraction : An Exploration of Math, Category Theory, and Life
Eugenia Cheng
Download Now
Format: eBook (PDF)
Proofs and Refutations : The Logic of Mathematical Discovery
Imre Lakatos
Download Now
Format: eBook (PDF)
Conceptual Mathematics : A First Introduction to Categories
F. William Lawvere
Download Now
Format: eBook (PDF)
The Adventure of Reason : Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
Paolo Mancosu
Download Now
Format: eBook (PDF)