Contact
DMCA
Privacy Policy
Readhub Library
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
Maths And Programming Books Categories
home
Maths And Programming Books Categories
Maths And Programming Categories Books List
Maths And Programming Books Categories
View More
Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics)
By:
Imre Lakatos
View More
Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)
By:
Anne S. Troelstra
View More
Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97)
By:
Douglas Bridges
View More
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
By:
Dirk van Dalen
View More
An algebraic approach to non-classical logics (Studies in logic and the foundations of mathematics volume 78)
By:
Lev D. Beklemishev
View More
Lectures on the Philosophy of Mathematics (Paperback)
By:
Joel David Hamkins
View More
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
By:
Robert Goldblatt
View More
Sketches of an Elephant: A Topos Theory Compendium (Hardcover)
By:
Peter T. Johnstone
View More
Elements of Intuitionism (Oxford Logic Guides)
By:
Michael Dummett
View More
Categorical Investigations: Logical & Linguistic Aspects of the Lambek Calculus (Groningen-Amsterdam Studies in Semantics)
By:
Michael Moortgat
View More
Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141)
By:
Bart Jacobs
View More
Types and Programming Languages (Mit Press)
By:
Benjamin C. Pierce
View More
Advanced Topics in Types and Programming Languages (Hardcover)
By:
Benjamin C. Pierce
View More
Computability and Logic (Paperback)
By:
George S. Boolos
View More
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Volume 0)
By:
Saunders MacLane
View More
Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics, Series Number 59)
By:
Paul Taylor
View More
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number (Paperback)
By:
Gottlob Frege
View More
Natural Dualities for the Working Algebraist (Cambridge Studies in Advanced Mathematics, Series Number 57)
By:
David M. Clark
View More
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
By:
J. Lambek
View More
An Introduction to Non-Classical Logic - From If to Is (Paperback)
By:
Graham Priest
View More
Introduction to Axiomatic Set Theory (Graduate Texts in Mathematics, 1)
By:
G. Takeuti
View More
Categories for the Working Mathematician (Graduate Texts in Mathematics, 5)
By:
Saunders Mac Lane
View More
Operating Systems: Three Easy Pieces (Paperback)
By:
Remzi H. Arpaci-Dusseau
View More
Introduction to Symbolic Logic and its Applications (Paperback)
By:
Rudolf Carnap
View More
forall x: Calgary: An Introduction to Formal Logic (Paperback)
By:
P.D. Magnus
View More
Formal Methods, Informally: How to Write Programs That Work (Hardcover)
By:
Carroll Morgan
View More
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
By:
Jean-Yves Girard
View More
Introduction to the Theory of Computation (Hardcover)
By:
Michael Sipser
View More
Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics, Series Number 219)
By:
Egbert Rijke
View More
Concrete Semantics: With Isabelle/HOL (Hardcover)
By:
Tobias Nipkow
View More
Term Rewriting and All That (Volume 0)
By:
Franz Baader
View More
Homotopy Type Theory (ebook)
By:
The Univalent Foundations Program
View More
Surreal Numbers (Paperback)
By:
Donald Ervin Knuth
View More
Winning Ways for Your Mathematical Plays, volume 4 (Paperback)
By:
Elwyn R. Berlekamp
View More
To Mock a Mockingbird and Other Logic Puzzles (Paperback)
By:
Raymond M. Smullyan
View More
Winning Ways for Your Mathematical Plays, Vol. 2 (Paperback)
By:
Elwyn R. Berlekamp
View More
Winning Ways for Your Mathematical Plays, Volume 3 (AK Peters/CRC Recreational Mathematics Series)
By:
Elwyn R. Berlekamp
View More
The Art of Computer Programming, Volume 2: Seminumerical Algorithms (Hardcover)
By:
Donald Ervin Knuth
View More
Winning Ways for Your Mathematical Plays (AK Peters/CRC Recreational Mathematics Series)
By:
Elwyn R. Berlekamp
View More
The Art of Computer Programming, Volume 1: Fundamental Algorithms (Hardcover)
By:
Donald Ervin Knuth
View More
The Art of Computer Programming: Volume 3: Sorting and Searching (Hardcover)
By:
Donald Ervin Knuth
View More
Gödel, Escher, Bach: An Eternal Golden Braid (Paperback)
By:
Douglas R. Hofstadter
View More
Things to Make and Do in the Fourth Dimension (Hardcover)
By:
Matt Parker
View More
Probability: For the Enthusiastic Beginner (Kindle Edition)
By:
David J. Morin
View More
Statistical Inference (Hardcover)
By:
George Casella
View More
Linear Algebra Done Right (Undergraduate Texts in Mathematics)
By:
Sheldon Axler
View More
The Elements of Statistical Learning: Data Mining, Inference, and Prediction (Hardcover)
By:
Trevor Hastie
View More
Regular algebra and finite machines, (Chapman and Hall mathematics series)
By:
John H. Conway
