Mathematics

Logic in Mathematics

Showing 1 - 60 out of 343 books
Formal Logic_cover
Formal LogicPaul A. Gregory
2017
Formal Logic
Formal Logic
Paul A. Gregory
2017
Simply Turing_cover
Simply TuringMichael Olinick
2021
Simply Turing
Simply Turing
Michael Olinick
2021
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
The Foundations of Mathematics_cover
The Foundations of MathematicsThomas Q. Sibley
2015
The Foundations of Mathematics
The Foundations of Mathematics
Thomas Q. Sibley
2015
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
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
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
Logic For Dummies_cover
Logic For DummiesMark Zegarelli
2025
Logic For Dummies
Logic For Dummies
Mark Zegarelli
2025
Recursion Theory_cover
Recursion TheoryJoseph R. Shoenfield
2017
Recursion Theory
Recursion Theory
Joseph R. Shoenfield
2017
Algebraic Logic_cover
Algebraic LogicPaul R. Halmos
2016
Algebraic Logic
Algebraic Logic
Paul R. Halmos
2016
Extrapolation Methods_cover
Extrapolation MethodsC. Brezinski, M. Redivo Zaglia
2013
Extrapolation Methods
Extrapolation Methods
C. Brezinski, M. Redivo Zaglia
2013
Sets for Mathematics_cover
Sets for MathematicsF. William Lawvere, Robert Rosebrugh
2003
Sets for Mathematics
Sets for Mathematics
F. William Lawvere, Robert Rosebrugh
2003
Theory of Relations_cover
Theory of RelationsR. Fraisse
2000
Theory of Relations
Theory of Relations
R. Fraisse
2000
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
Logic_cover
LogicPaul Tomassi
2013
Logic
Logic
Paul Tomassi
2013
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
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
Naive Set Theory_cover
Naive Set TheoryPaul R. Halmos
2017
Naive Set Theory
Naive Set Theory
Paul R. Halmos
2017
Set Theory_cover
Set TheoryDaniel W. Cunningham
2016
Set Theory
Set Theory
Daniel W. Cunningham
2016
Conceptual Mathematics_cover
Conceptual MathematicsF. William Lawvere, Stephen H. Schanuel
2009
Conceptual Mathematics
Conceptual Mathematics
F. William Lawvere, Stephen H. Schanuel
2009
Set Theory and Logic_cover
Set Theory and LogicRobert R. Stoll
2012
Set Theory and Logic
Set Theory and Logic
Robert R. Stoll
2012
An Introduction to Critical Thinking and Creativity_cover
An Introduction to Critical Thinking and CreativityJ. Y. F. Lau
2011
An Introduction to Critical Thinking and Creativity
An Introduction to Critical Thinking and Creativity
J. Y. F. Lau
2011
Basic Category Theory_cover
Basic Category TheoryTom Leinster
2014
Basic Category Theory
Basic Category Theory
Tom Leinster
2014
Modern Mathematical Logic_cover
Modern Mathematical LogicJoseph Mileti
2022
Modern Mathematical Logic
Modern Mathematical Logic
Joseph Mileti
2022
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
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
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
Computability and Unsolvability_cover
Computability and UnsolvabilityMartin Davis
2013
Computability and Unsolvability
Computability and Unsolvability
Martin Davis
2013
Introduction to Logic_cover
Introduction to LogicPatrick Suppes
2012
Introduction to Logic
Introduction to Logic
Patrick Suppes
2012
Introduction to Analysis_cover
Introduction to AnalysisMaxwell Rosenlicht
2012
Introduction to Analysis
Introduction to Analysis
Maxwell Rosenlicht
2012
Mathematical Logic_cover
Mathematical LogicGeorge Tourlakis
2011
Mathematical Logic
Mathematical Logic
George Tourlakis
2011
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
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
Proof Complexity_cover
Proof ComplexityJan Krajíček
2019
Proof Complexity
Proof Complexity
Jan Krajíček
2019
A Course in Model Theory_cover
A Course in Model TheoryKatrin Tent, Martin Ziegler
2012
A Course in Model Theory
A Course in Model Theory
Katrin Tent, Martin Ziegler
2012
Proof Analysis_cover
Proof AnalysisSara Negri, Jan von Plato
2011
Proof Analysis
Proof Analysis
Sara Negri, Jan von Plato
2011
Sheaf Theory through Examples_cover
Sheaf Theory through ExamplesDaniel Rosiak
2022
Sheaf Theory through Examples
Sheaf Theory through Examples
Daniel Rosiak
2022
Intuitive Axiomatic Set Theory_cover
Intuitive Axiomatic Set TheoryJosé L Garciá
2024
Intuitive Axiomatic Set Theory
Intuitive Axiomatic Set Theory
José L Garciá
2024
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
The Development of Mathematical Logic_cover
The Development of Mathematical LogicP. H. Nidditch
2019
The Development of Mathematical Logic
The Development of Mathematical Logic
P. H. Nidditch
2019
Simply Gödel_cover
Simply GödelRichard Tieszen
2017
Simply Gödel
Simply Gödel
Richard Tieszen
2017
A First Course in Mathematical Logic and Set Theory_cover
A First Course in Mathematical Logic and Set TheoryMichael L. O'Leary
2015
A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
Michael L. O'Leary
2015
Logic for Computer Science_cover
Logic for Computer ScienceJean H. Gallier
2015
Logic for Computer Science
Logic for Computer Science
Jean H. Gallier
2015
The Arrow Impossibility Theorem_cover
The Arrow Impossibility TheoremEric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
The Arrow Impossibility Theorem
The Arrow Impossibility Theorem
Eric Maskin, Amartya Sen, Kenneth J. Arrow, Partha Dasgupta, Prasanta K. Pattanaik, Joseph E. Stiglitz
2014
Philosophy and Foundations of Mathematics_cover
Philosophy and Foundations of Mathematics
2014
Philosophy and Foundations of Mathematics
Philosophy and Foundations of Mathematics
2014
Frege, Dedekind, and Peano on the Foundations of Arithmetic_cover
Frege, Dedekind, and Peano on the Foundations of ArithmeticDonald Gillies
2013
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Frege, Dedekind, and Peano on the Foundations of Arithmetic
Donald Gillies
2013
Playing with Infinity_cover
Playing with InfinityRózsa Péter
2012
Playing with Infinity
Playing with Infinity
Rózsa Péter
2012
Elements of Automata Theory_cover
Elements of Automata TheoryJacques Sakarovitch
2009
Elements of Automata Theory
Elements of Automata Theory
Jacques Sakarovitch
2009
The Story of Proof_cover
The Story of ProofJohn Stillwell
2022
The Story of Proof
The Story of Proof
John Stillwell
2022
Category Theory in Context_cover
Category Theory in ContextEmily Riehl
2017
Category Theory in Context
Category Theory in Context
Emily Riehl
2017
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicMicha?? Walicki
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Micha?? Walicki
2016
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
Proof Theory
Proof Theory
Gaisi Takeuti
2013
Foundations and Fundamental Concepts of Mathematics_cover
Foundations and Fundamental Concepts of MathematicsHoward Eves
2012
Foundations and Fundamental Concepts of Mathematics
Foundations and Fundamental Concepts of Mathematics
Howard Eves
2012
Differential and Integral Calculus_cover
Differential and Integral CalculusSvetlin G. Georgiev, Khaled Zennir
2025
Differential and Integral Calculus
Differential and Integral Calculus
Svetlin G. Georgiev, Khaled Zennir
2025
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
New Directions in Relevant Logic_cover
New Directions in Relevant Logic
2025
New Directions in Relevant Logic
New Directions in Relevant Logic
2025
The Language of Mathematics_cover
The Language of MathematicsRaúl Rojas
2025
The Language of Mathematics
The Language of Mathematics
Raúl Rojas
2025