Mathematics

Logic in Mathematics

Showing 1 - 60 out of 336 books
Formal Logic_cover
Formal LogicPaul A. Gregory
2017
Formal Logic
Formal Logic
Paul A. Gregory
2017
Set Theory and Logic_cover
Set Theory and LogicRobert R. Stoll
2012
Set Theory and Logic
Set Theory and Logic
Robert R. Stoll
2012
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
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
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
Algebraic Logic_cover
Algebraic LogicPaul R. Halmos
2016
Algebraic Logic
Algebraic Logic
Paul R. Halmos
2016
Simply Turing_cover
Simply TuringMichael Olinick
2021
Simply Turing
Simply Turing
Michael Olinick
2021
Stochastic Drawdowns_cover
Stochastic DrawdownsHongzhong Zhang
2018
Stochastic Drawdowns
Stochastic Drawdowns
Hongzhong Zhang
2018
Recursion Theory_cover
Recursion TheoryJoseph R. Shoenfield
2017
Recursion Theory
Recursion Theory
Joseph R. Shoenfield
2017
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2015
The Vienna Circle
The Vienna Circle
Victor Kraft
2015
Theory of Relations_cover
Theory of RelationsR. Fraisse
2000
Theory of Relations
Theory of Relations
R. Fraisse
2000
Numbers and Proofs_cover
Numbers and ProofsReg Allenby
1997
Numbers and Proofs
Numbers and Proofs
Reg Allenby
1997
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
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
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
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
An Invitation to Applied Category Theory_cover
An Invitation to Applied Category TheoryBrendan Fong, David I. Spivak
2019
An Invitation to Applied Category Theory
An Invitation to Applied Category Theory
Brendan Fong, David I. Spivak
2019
Naive Set Theory_cover
Naive Set TheoryPaul R. Halmos
2017
Naive Set Theory
Naive Set Theory
Paul R. Halmos
2017
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
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
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
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
Exploring Mathematics_cover
Exploring MathematicsJohn Meier, Derek Smith
2017
Exploring Mathematics
Exploring Mathematics
John Meier, Derek Smith
2017
Set Theory_cover
Set TheoryDaniel W. Cunningham
2016
Set Theory
Set Theory
Daniel W. Cunningham
2016
The Foundations of Mathematics_cover
The Foundations of MathematicsThomas Q. Sibley
2015
The Foundations of Mathematics
The Foundations of Mathematics
Thomas Q. Sibley
2015
Basic Category Theory_cover
Basic Category TheoryTom Leinster
2014
Basic Category Theory
Basic Category Theory
Tom Leinster
2014
Computability and Unsolvability_cover
Computability and UnsolvabilityMartin Davis
2013
Computability and Unsolvability
Computability and Unsolvability
Martin Davis
2013
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
Introduction to Analysis_cover
Introduction to AnalysisMaxwell Rosenlicht
2012
Introduction to Analysis
Introduction to Analysis
Maxwell Rosenlicht
2012
Introduction to Logic_cover
Introduction to LogicPatrick Suppes
2012
Introduction to Logic
Introduction to Logic
Patrick Suppes
2012
Symbolic Logic and the Game of Logic_cover
Symbolic Logic and the Game of LogicLewis Carroll
2013
Symbolic Logic and the Game of Logic
Symbolic Logic and the Game of Logic
Lewis Carroll
2013
Secret History_cover
Secret HistoryCraig Bauer
2021
Secret History
Secret History
Craig Bauer
2021
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
Proof Analysis_cover
Proof AnalysisSara Negri, Jan von Plato
2011
Proof Analysis
Proof Analysis
Sara Negri, Jan von Plato
2011
Paradoxes and Inconsistent Mathematics_cover
Paradoxes and Inconsistent MathematicsZach Weber
2021
Paradoxes and Inconsistent Mathematics
Paradoxes and Inconsistent Mathematics
Zach Weber
2021
Sheaf Theory through Examples_cover
Sheaf Theory through ExamplesDaniel Rosiak
2022
Sheaf Theory through Examples
Sheaf Theory through Examples
Daniel Rosiak
2022
Logic_cover
LogicPaul Tomassi
2013
Logic
Logic
Paul Tomassi
2013
The Joy of Abstraction_cover
The Joy of AbstractionEugenia Cheng
2022
The Joy of Abstraction
The Joy of Abstraction
Eugenia Cheng
2022
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
Propositional Logics 3rd edition_cover
Propositional Logics 3rd editionRichard L Epstein
2018
Propositional Logics 3rd edition
Propositional Logics 3rd edition
Richard L Epstein
2018
Category Theory in Context_cover
Category Theory in ContextEmily Riehl
2017
Category Theory in Context
Category Theory in Context
Emily Riehl
2017
Basic Discrete Mathematics_cover
Basic Discrete MathematicsRichard Kohar
2016
Basic Discrete Mathematics
Basic Discrete Mathematics
Richard Kohar
2016
Introduction to Logic_cover
Introduction to LogicAlfred Tarski
2013
Introduction to Logic
Introduction to Logic
Alfred Tarski
2013
Introduction to Symbolic Logic and Its Applications_cover
Introduction to Symbolic Logic and Its ApplicationsRudolf Carnap
2012
Introduction to Symbolic Logic and Its Applications
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
2012
The Foundations of Mathematics in the Theory of Sets_cover
The Foundations of Mathematics in the Theory of SetsJohn P. Mayberry
2001
The Foundations of Mathematics in the Theory of Sets
The Foundations of Mathematics in the Theory of Sets
John P. Mayberry
2001
Logic For Dummies_cover
Logic For DummiesMark Zegarelli
2025
Logic For Dummies
Logic For Dummies
Mark Zegarelli
2025
General Topology_cover
General TopologyVipul Kakkar
2025
General Topology
General Topology
Vipul Kakkar
2025
Discrete Mathematics with Coding_cover
Discrete Mathematics with CodingHugo D Junghenn
2023
Discrete Mathematics with Coding
Discrete Mathematics with Coding
Hugo D Junghenn
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
Harmonic Analysis and Convexity_cover
Harmonic Analysis and ConvexityAlexander Koldobsky, Alexander Volberg
2023
Harmonic Analysis and Convexity
Harmonic Analysis and Convexity
Alexander Koldobsky, Alexander Volberg
2023
Mathematical Logic_cover
Mathematical LogicDaniel Cunningham
2023
Mathematical Logic
Mathematical Logic
Daniel Cunningham
2023
Category Theory_cover
Category TheoryZoran Majkic
2023
Category Theory
Category Theory
Zoran Majkic
2023
Flatland_cover
FlatlandEdwin A. Abbott, Charles Twain
2022
Flatland
Flatland
Edwin A. Abbott, Charles Twain
2022
Alan Turing's Systems of Logic_cover
Alan Turing's Systems of LogicAndrew W. Appel
2021
Alan Turing's Systems of Logic
Alan Turing's Systems of Logic
Andrew W. Appel
2021
Mathematical Puzzles_cover
Mathematical PuzzlesPeter Winkler
2020
Mathematical Puzzles
Mathematical Puzzles
Peter Winkler
2020
Games for Your Mind_cover
Games for Your MindJason Rosenhouse
2020
Games for Your Mind
Games for Your Mind
Jason Rosenhouse
2020
Proofs 101_cover
Proofs 101Joseph Kirtland
2020
Proofs 101
Proofs 101
Joseph Kirtland
2020