Mathematics

Logic in Mathematics

Showing 61 - 120 out of 404 books
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 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
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
Modern Mathematical Logic_cover
Modern Mathematical LogicJoseph Mileti
2022
Modern Mathematical Logic
Modern Mathematical Logic
Joseph Mileti
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
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
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
Logic Works_cover
Logic WorksLorne Falkenstein, Scott Stapleford, Molly Kao
2021
Logic Works
Logic Works
Lorne Falkenstein, Scott Stapleford, Molly Kao
2021
Concise Introduction to Logic and Set Theory_cover
Concise Introduction to Logic and Set TheoryIqbal H. Jebril, Hemen Dutta, Ilwoo Cho
2021
Concise Introduction to Logic and Set Theory
Concise Introduction to Logic and Set Theory
Iqbal H. Jebril, Hemen Dutta, Ilwoo Cho
2021
Foundations of Constructive Probability Theory_cover
Foundations of Constructive Probability TheoryYuen-Kwok Chan
2021
Foundations of Constructive Probability Theory
Foundations of Constructive Probability Theory
Yuen-Kwok Chan
2021
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
Discrete Mathematics_cover
Discrete MathematicsRowan Garnier, John Taylor
2020
Discrete Mathematics
Discrete Mathematics
Rowan Garnier, John Taylor
2020
An Introduction to Formal Logic: Second Edition_cover
An Introduction to Formal Logic: Second EditionRichard L Epstein
2020
An Introduction to Formal Logic: Second Edition
An Introduction to Formal Logic: Second Edition
Richard L Epstein
2020
Principles of Mathematics_cover
Principles of MathematicsBertrand Russell
2020
Principles of Mathematics
Principles of Mathematics
Bertrand Russell
2020
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural_cover
El razonamiento lógico en el lenguaje simbólico y en el lenguaje naturalKemel, George
2020
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural
El razonamiento lógico en el lenguaje simbólico y en el lenguaje natural
Kemel, George
2020
An Elementary Transition to Abstract Mathematics_cover
An Elementary Transition to Abstract MathematicsGove Effinger, Gary L. Mullen
2019
An Elementary Transition to Abstract Mathematics
An Elementary Transition to Abstract Mathematics
Gove Effinger, Gary L. Mullen
2019
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
Logic in Practice_cover
Logic in PracticeL. Susan Stebbing
2019
Logic in Practice
Logic in Practice
L. Susan Stebbing
2019
Mathematical Foundations of Computer Science_cover
Mathematical Foundations of Computer ScienceBhavanari Satyanarayana, T.V. Pradeep Kumar, Shaik Mohiddin Shaw
2019
Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science
Bhavanari Satyanarayana, T.V. Pradeep Kumar, Shaik Mohiddin Shaw
2019
Justification Logic_cover
Justification LogicSergei Artemov, Melvin Fitting
2019
Justification Logic
Justification Logic
Sergei Artemov, Melvin Fitting
2019
Philosophy of Mathematics_cover
Philosophy of MathematicsThomas Bedürftig, Roman Murawski
2018
Philosophy of Mathematics
Philosophy of Mathematics
Thomas Bedürftig, Roman Murawski
2018
Fundamentals of Mathematical Logic_cover
Fundamentals of Mathematical LogicPeter G. Hinman
2018
Fundamentals of Mathematical Logic
Fundamentals of Mathematical Logic
Peter G. Hinman
2018
Mathematical Logic_cover
Mathematical LogicJoseph R. Shoenfield
2018
Mathematical Logic
Mathematical Logic
Joseph R. Shoenfield
2018
Recursion Theory_cover
Recursion TheoryJoseph R. Shoenfield
2018
Recursion Theory
Recursion Theory
Joseph R. Shoenfield
2018
Fundamentals of Functions and Measure Theory_cover
Fundamentals of Functions and Measure TheoryValeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
Fundamentals of Functions and Measure Theory
Fundamentals of Functions and Measure Theory
Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
Introduction to Set Theory, Revised and Expanded_cover
Introduction to Set Theory, Revised and ExpandedKarel Hrbacek, Thomas Jech
2017
Introduction to Set Theory, Revised and Expanded
Introduction to Set Theory, Revised and Expanded
Karel Hrbacek, Thomas Jech
2017
Degrees of Unsolvability_cover
Degrees of UnsolvabilityManuel Lerman
2017
Degrees of Unsolvability
Degrees of Unsolvability
Manuel Lerman
2017
Category Theory in Context_cover
Category Theory in ContextEmily Riehl
2017
Category Theory in Context
Category Theory in Context
Emily Riehl
2017
Metamathematics of First-Order Arithmetic_cover
Metamathematics of First-Order ArithmeticPetr Hájek, Pavel Pudlák
2017
Metamathematics of First-Order Arithmetic
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák
2017
Exploring the Infinite_cover
Exploring the InfiniteJennifer Brooks
2016
Exploring the Infinite
Exploring the Infinite
Jennifer Brooks
2016
Crystal Chemistry_cover
Crystal ChemistryGérard Ferey
2016
Crystal Chemistry
Crystal Chemistry
Gérard Ferey
2016
536 Puzzles and Curious Problems_cover
536 Puzzles and Curious ProblemsHenry E. Dudeney
2016
536 Puzzles and Curious Problems
536 Puzzles and Curious Problems
Henry E. Dudeney
2016
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicMicha?? Walicki
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Micha?? Walicki
2016
Basic Discrete Mathematics_cover
Basic Discrete MathematicsRichard Kohar
2016
Basic Discrete Mathematics
Basic Discrete Mathematics
Richard Kohar
2016
Statistics and Causality_cover
Statistics and CausalityWolfgang Wiedermann, Alexander von Eye
2016
Statistics and Causality
Statistics and Causality
Wolfgang Wiedermann, Alexander von Eye
2016
Algebraic Logic_cover
Algebraic LogicPaul R. Halmos
2016
Algebraic Logic
Algebraic Logic
Paul R. Halmos
2016
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicAlonzo Church
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Alonzo Church
2016
Logic: The Theory of Formal Inference_cover
Logic: The Theory of Formal InferenceAlice Ambrose, Morris Lazerowitz
2015
Logic: The Theory of Formal Inference
Logic: The Theory of Formal Inference
Alice Ambrose, Morris Lazerowitz
2015
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
A Guide to NIP Theories_cover
A Guide to NIP TheoriesPierre Simon
2015
A Guide to NIP Theories
A Guide to NIP Theories
Pierre Simon
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
Introducing Infinity_cover
Introducing InfinityBrian Clegg, Oliver Pugh
2014
Introducing Infinity
Introducing Infinity
Brian Clegg, Oliver Pugh
2014
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
Matrix Logic_cover
Matrix LogicA. Stern
2014
Matrix Logic
Matrix Logic
A. Stern
2014
Introduction to Proof in Abstract Mathematics_cover
Introduction to Proof in Abstract MathematicsAndrew Wohlgemuth
2014
Introduction to Proof in Abstract Mathematics
Introduction to Proof in Abstract Mathematics
Andrew Wohlgemuth
2014
Introducing Logic_cover
Introducing LogicBill Mayblin, Dan Cryan, Sharron Shatil
2014
Introducing Logic
Introducing Logic
Bill Mayblin, Dan Cryan, Sharron Shatil
2014
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations_cover
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations
2014
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations
The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations
2014
Enlightening Symbols_cover
Enlightening SymbolsJoseph Mazur
2014
Enlightening Symbols
Enlightening Symbols
Joseph Mazur
2014
Agent_Zero_cover
Agent_ZeroJoshua M. Epstein
2014
Agent_Zero
Agent_Zero
Joshua M. Epstein
2014
Four Lives_cover
Four LivesJason Rosenhouse, Raymond M. Smullyan
2014
Four Lives
Four Lives
Jason Rosenhouse, Raymond M. Smullyan
2014
Logic from A to Z_cover
Logic from A to ZJohn B. Bacon, Michael Detlefsen, David Charles McCarty
2013
Logic from A to Z
Logic from A to Z
John B. Bacon, Michael Detlefsen, David Charles McCarty
2013
The Gödelian Puzzle Book_cover
The Gödelian Puzzle BookRaymond M. Smullyan
2013
The Gödelian Puzzle Book
The Gödelian Puzzle Book
Raymond M. Smullyan
2013
The Lambda Calculus_cover
The Lambda CalculusH.P. Barendregt
2013
The Lambda Calculus
The Lambda Calculus
H.P. Barendregt
2013
Introduction to Logic_cover
Introduction to LogicAlfred Tarski
2013
Introduction to Logic
Introduction to Logic
Alfred Tarski
2013