Showing 1 - 60 out of 399 books
Formal Logic_cover
Formal LogicPaul A. Gregory
2017
Formal Logic
Formal Logic
Paul A. Gregory
2017
The Ultimate Mathematical Challenge_cover
The Ultimate Mathematical ChallengeThe UK Mathematics Trust
2018
The Ultimate Mathematical Challenge
The Ultimate Mathematical Challenge
The UK Mathematics Trust
2018
A Beginner's Guide to Mathematical Logic_cover
A Beginner's Guide to Mathematical LogicRaymond M. Smullyan
2014
A Beginner's Guide to Mathematical Logic
A Beginner's Guide to Mathematical Logic
Raymond M. Smullyan
2014
Simply Turing_cover
Simply TuringMichael Olinick
2021
Simply Turing
Simply Turing
Michael Olinick
2021
The Foundations of Mathematics_cover
The Foundations of MathematicsThomas Q. Sibley
2015
The Foundations of Mathematics
The Foundations of Mathematics
Thomas Q. Sibley
2015
Logic For Dummies_cover
Logic For DummiesMark Zegarelli
2025
Logic For Dummies
Logic For Dummies
Mark Zegarelli
2025
A First Course in Fuzzy Logic_cover
A First Course in Fuzzy LogicHung T. Nguyen, Carol L. Walker, Elbert A. Walker, Carol Walker
2018
A First Course in Fuzzy Logic
A First Course in Fuzzy Logic
Hung T. Nguyen, Carol L. Walker, Elbert A. Walker, Carol Walker
2018
Mathematical Logic for Computer Science_cover
Mathematical Logic for Computer SciencePaola Spoletini, Dino Mandrioli
2020
Mathematical Logic for Computer Science
Mathematical Logic for Computer Science
Paola Spoletini, Dino Mandrioli
2020
How to Read and Do Proofs_cover
How to Read and Do ProofsDaniel Solow
2013
How to Read and Do Proofs
How to Read and Do Proofs
Daniel Solow
2013
Basic Category Theory_cover
Basic Category TheoryTom Leinster
2014
Basic Category Theory
Basic Category Theory
Tom Leinster
2014
A TeXas Style Introduction to Proof_cover
A TeXas Style Introduction to ProofRon Taylor, Patrick X. Rault
2018
A TeXas Style Introduction to Proof
A TeXas Style Introduction to Proof
Ron Taylor, Patrick X. Rault
2018
Exploring Mathematics_cover
Exploring MathematicsJohn Meier, Derek Smith
2017
Exploring Mathematics
Exploring Mathematics
John Meier, Derek Smith
2017
Naive Set Theory_cover
Naive Set TheoryPaul R. Halmos
2017
Naive Set Theory
Naive Set Theory
Paul R. Halmos
2017
A Bridge to Higher Mathematics_cover
A Bridge to Higher MathematicsValentin Deaconu, Donald C. Pfaff
2016
A Bridge to Higher Mathematics
A Bridge to Higher Mathematics
Valentin Deaconu, Donald C. Pfaff
2016
The Art and Craft of Problem Solving_cover
The Art and Craft of Problem SolvingPaul Zeitz
2016
The Art and Craft of Problem Solving
The Art and Craft of Problem Solving
Paul Zeitz
2016
Set Theory_cover
Set TheoryDaniel W. Cunningham
2016
Set Theory
Set Theory
Daniel W. Cunningham
2016
Modal Logics and Philosophy_cover
Modal Logics and PhilosophyRod Girle
2014
Modal Logics and Philosophy
Modal Logics and Philosophy
Rod Girle
2014
How to Solve It_cover
How to Solve ItG. Polya, George Polya
2014
How to Solve It
How to Solve It
G. Polya, George Polya
2014
A New Introduction to Modal Logic_cover
A New Introduction to Modal LogicM.J. Cresswell, G.E. Hughes
2012
A New Introduction to Modal Logic
A New Introduction to Modal Logic
M.J. Cresswell, G.E. Hughes
2012
Introduction to Logic_cover
Introduction to LogicPatrick Suppes
2012
Introduction to Logic
Introduction to Logic
Patrick Suppes
2012
Set Theory and Logic_cover
Set Theory and LogicRobert R. Stoll
2012
Set Theory and Logic
Set Theory and Logic
Robert R. Stoll
2012
Proof Analysis_cover
Proof AnalysisSara Negri, Jan von Plato
2011
Proof Analysis
Proof Analysis
Sara Negri, Jan von Plato
2011
Conceptual Mathematics_cover
Conceptual MathematicsF. William Lawvere, Stephen H. Schanuel
2009
Conceptual Mathematics
Conceptual Mathematics
F. William Lawvere, Stephen H. Schanuel
2009
Invariant Descriptive Set Theory_cover
Invariant Descriptive Set TheorySu Gao
2008
Invariant Descriptive Set Theory
Invariant Descriptive Set Theory
Su Gao
2008
Gödel's Proof_cover
Gödel's ProofErnest Nagel, James R Newman, Douglas R. Hofstadter, James R. Newman
2001
Gödel's Proof
Gödel's Proof
Ernest Nagel, James R Newman, Douglas R. Hofstadter, James R. Newman
2001
Secret History_cover
Secret HistoryCraig Bauer
2021
Secret History
Secret History
Craig Bauer
2021
An Introduction to Mathematical Proofs_cover
An Introduction to Mathematical ProofsNicholas A. Loehr
2019
An Introduction to Mathematical Proofs
An Introduction to Mathematical Proofs
Nicholas A. Loehr
2019
An Introduction to Critical Thinking and Creativity_cover
An Introduction to Critical Thinking and CreativityJ. Y. F. Lau, Joe Y. F. Lau
2011
An Introduction to Critical Thinking and Creativity
An Introduction to Critical Thinking and Creativity
J. Y. F. Lau, Joe Y. F. Lau
2011
Computable Structure Theory_cover
Computable Structure TheoryAntonio Montalbán
2021
Computable Structure Theory
Computable Structure Theory
Antonio Montalbán
2021
Proof Complexity_cover
Proof ComplexityJan Krajíček
2019
Proof Complexity
Proof Complexity
Jan Krajíček
2019
Making Up Your Own Mind_cover
Making Up Your Own MindEdward B. Burger
2018
Making Up Your Own Mind
Making Up Your Own Mind
Edward B. Burger
2018
Sets, Functions, and Logic_cover
Sets, Functions, and LogicKeith Devlin
2018
Sets, Functions, and Logic
Sets, Functions, and Logic
Keith Devlin
2018
Computability Theory_cover
Computability TheoryS. Barry Cooper, S. Barry Cooper
2017
Computability Theory
Computability Theory
S. Barry Cooper, S. Barry Cooper
2017
Logic: The Basics_cover
Logic: The BasicsJc Beall, Shay Allen Logan
2017
Logic: The Basics
Logic: The Basics
Jc Beall, Shay Allen Logan
2017
Logic_cover
LogicPaul Tomassi
2013
Logic
Logic
Paul Tomassi
2013
Computability and Unsolvability_cover
Computability and UnsolvabilityMartin Davis
2013
Computability and Unsolvability
Computability and Unsolvability
Martin Davis
2013
What Is Mathematical Logic?_cover
What Is Mathematical Logic?J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
What Is Mathematical Logic?
What Is Mathematical Logic?
J. N. Crossley, C.J. Ash, C.J. Brickhill, J.C. Stillwell
2012
The Search for Mathematical Roots, 1870-1940_cover
The Search for Mathematical Roots, 1870-1940Ivor Grattan-Guinness
2011
The Search for Mathematical Roots, 1870-1940
The Search for Mathematical Roots, 1870-1940
Ivor Grattan-Guinness
2011
Sheaf Theory through Examples_cover
Sheaf Theory through ExamplesDaniel Rosiak
2022
Sheaf Theory through Examples
Sheaf Theory through Examples
Daniel Rosiak
2022
The Joy of Abstraction_cover
The Joy of AbstractionEugenia Cheng
2022
The Joy of Abstraction
The Joy of Abstraction
Eugenia Cheng
2022
Classical and Nonclassical Logics_cover
Classical and Nonclassical LogicsEric Schechter
2020
Classical and Nonclassical Logics
Classical and Nonclassical Logics
Eric Schechter
2020
Theoretical Computer Science for the Working Category Theorist_cover
Theoretical Computer Science for the Working Category TheoristNoson S. Yanofsky
2022
Theoretical Computer Science for the Working Category Theorist
Theoretical Computer Science for the Working Category Theorist
Noson S. Yanofsky
2022
Logic_cover
LogicGreg Restall
2004
Logic
Logic
Greg Restall
2004
Principles of Mathematics. Illustrated_cover
Principles of Mathematics. IllustratedBertrand Russell
2025
Principles of Mathematics. Illustrated
Principles of Mathematics. Illustrated
Bertrand Russell
2025
Limits and Derivatives of Real Functions for Physicists_cover
Limits and Derivatives of Real Functions for PhysicistsNicolas A. Pereyra
2025
Limits and Derivatives of Real Functions for Physicists
Limits and Derivatives of Real Functions for Physicists
Nicolas A. Pereyra
2025
Set Theory_cover
Set TheoryAndré Robert, Robert André
2025
Set Theory
Set Theory
André Robert, Robert André
2025
The Logic, Philosophy, and History of the Lambda-Calculus_cover
The Logic, Philosophy, and History of the Lambda-CalculusLevis Zerpa
2025
The Logic, Philosophy, and History of the Lambda-Calculus
The Logic, Philosophy, and History of the Lambda-Calculus
Levis Zerpa
2025
An Introduction to Classical and Modal Logics_cover
An Introduction to Classical and Modal LogicsAdam Bjorndahl
2024
An Introduction to Classical and Modal Logics
An Introduction to Classical and Modal Logics
Adam Bjorndahl
2024
Development Theory_cover
Development TheoryJoe Will Serdaruz
2024
Development Theory
Development Theory
Joe Will Serdaruz
2024
Taking the “Oof!” Out of Proofs_cover
Taking the “Oof!” Out of ProofsAlexandr Draganov
2024
Taking the “Oof!” Out of Proofs
Taking the “Oof!” Out of Proofs
Alexandr Draganov
2024
Critical Views of Logic_cover
Critical Views of LogicMirja Hartimo, Frode Kjosavik, Øystein Linnebo
2023
Critical Views of Logic
Critical Views of Logic
Mirja Hartimo, Frode Kjosavik, Øystein Linnebo
2023
Model Theory of Operator Algebras_cover
Model Theory of Operator AlgebrasIsaac Goldbring
2023
Model Theory of Operator Algebras
Model Theory of Operator Algebras
Isaac Goldbring
2023
Mathematical Foundations of Fuzzy Sets_cover
Mathematical Foundations of Fuzzy SetsHsien-Chung Wu
2023
Mathematical Foundations of Fuzzy Sets
Mathematical Foundations of Fuzzy Sets
Hsien-Chung Wu
2023
The Notion of mathematical proof: Key rules and considerations_cover
The Notion of mathematical proof: Key rules and considerations
2023
The Notion of mathematical proof: Key rules and considerations
The Notion of mathematical proof: Key rules and considerations
2023
The Story of Proof_cover
The Story of ProofJohn Stillwell
2022
The Story of Proof
The Story of Proof
John Stillwell
2022
The Elements of Advanced Mathematics_cover
The Elements of Advanced MathematicsSteven G. Krantz
2022
The Elements of Advanced Mathematics
The Elements of Advanced Mathematics
Steven G. Krantz
2022
Transition to Advanced Mathematics_cover
Transition to Advanced MathematicsDanilo R. Diedrichs, Stephen Lovett
2022
Transition to Advanced Mathematics
Transition to Advanced Mathematics
Danilo R. Diedrichs, Stephen Lovett
2022
Critical Thinking_cover
Critical ThinkingDamiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
2022
Critical Thinking
Critical Thinking
Damiano Canale, Aldo Frigerio, Giovanni Tuzet, Roberto Ciuni
2022
Set Theory-An Operational Approach_cover
Set Theory-An Operational ApproachLuis E. Sanchis, LE Sanchis
2022
Set Theory-An Operational Approach
Set Theory-An Operational Approach
Luis E. Sanchis, LE Sanchis
2022
Elements of ∞-Category Theory_cover
Elements of ∞-Category TheoryEmily Riehl, Dominic Verity
2022
Elements of ∞-Category Theory
Elements of ∞-Category Theory
Emily Riehl, Dominic Verity
2022