Mathematics

Logic in Mathematics

Showing 121 - 180 out of 339 books
That's Maths_cover
That's MathsPeter Lynch
2016
That's Maths
That's Maths
Peter Lynch
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity_cover
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
A Sequential Introduction to Real Analysis_cover
A Sequential Introduction to Real AnalysisJ M Speight
2015
A Sequential Introduction to Real Analysis
A Sequential Introduction to Real Analysis
J M Speight
2015
The Vienna Circle_cover
The Vienna CircleVictor Kraft
2015
The Vienna Circle
The Vienna Circle
Victor Kraft
2015
Fuzzy Neural Networks for Real Time Control Applications_cover
Fuzzy Neural Networks for Real Time Control ApplicationsErdal Kayacan, Mojtaba Ahmadieh Khanesar
2015
Fuzzy Neural Networks for Real Time Control Applications
Fuzzy Neural Networks for Real Time Control Applications
Erdal Kayacan, Mojtaba Ahmadieh Khanesar
2015
Introducing Logic_cover
Introducing LogicBill Mayblin, Dan Cryan, Sharron Shatil
2014
Introducing Logic
Introducing Logic
Bill Mayblin, Dan Cryan, Sharron Shatil
2014
Enlightening Symbols_cover
Enlightening SymbolsJoseph Mazur
2014
Enlightening Symbols
Enlightening Symbols
Joseph Mazur
2014
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
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
Set Theory, Arithmetic, and Foundations of Mathematics_cover
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Set Theory, Arithmetic, and Foundations of Mathematics
Set Theory, Arithmetic, and Foundations of Mathematics
2011
Mathematics and the Divine_cover
Mathematics and the Divine
2004
Mathematics and the Divine
Mathematics and the Divine
2004
Lambda Calculus with Types_cover
Lambda Calculus with TypesHenk Barendregt, Wil Dekkers, Richard Statman
2013
Lambda Calculus with Types
Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statman
2013
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
Logic as a Tool_cover
Logic as a ToolValentin Goranko
2016
Logic as a Tool
Logic as a Tool
Valentin Goranko
2016
A Course in Mathematical Logic_cover
A Course in Mathematical LogicJ.L. Bell, M. Machover
1977
A Course in Mathematical Logic
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
Functional and Harmonic Analysis_cover
Functional and Harmonic AnalysisRené Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Functional and Harmonic Analysis
Functional and Harmonic Analysis
René Erlin Castillo, Héctor Camilo Chaparro Gutiérrez, Julio César Ramos-Fernández
2025
Polynomial Functors_cover
Polynomial FunctorsNelson Niu, David I. Spivak
2025
Polynomial Functors
Polynomial Functors
Nelson Niu, David I. Spivak
2025
Uni-variate Polynomials in Analysis_cover
Uni-variate Polynomials in AnalysisVladimir P. Kostov
2025
Uni-variate Polynomials in Analysis
Uni-variate Polynomials in Analysis
Vladimir P. Kostov
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
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
Modeling and Control of Dynamic Spatially Distributed Systems_cover
Modeling and Control of Dynamic Spatially Distributed SystemsYizhi Wang, Zhong Yang
2024
Modeling and Control of Dynamic Spatially Distributed Systems
Modeling and Control of Dynamic Spatially Distributed Systems
Yizhi Wang, Zhong Yang
2024
Development Theory_cover
Development TheoryJoe Will Serdaruz
2024
Development Theory
Development Theory
Joe Will Serdaruz
2024
Weighted Morrey Spaces_cover
Weighted Morrey SpacesMarcus Laurel, Marius Mitrea
2024
Weighted Morrey Spaces
Weighted Morrey Spaces
Marcus Laurel, Marius Mitrea
2024
Introduction to Incompleteness_cover
Introduction to IncompletenessSerafim Batzoglou
2024
Introduction to Incompleteness
Introduction to Incompleteness
Serafim Batzoglou
2024
Parabolic Problems_cover
Parabolic ProblemsDavid Angell, Thomas Britz
2024
Parabolic Problems
Parabolic Problems
David Angell, Thomas Britz
2024
Harmony and Paradox_cover
Harmony and ParadoxLuca Tranchini
2024
Harmony and Paradox
Harmony and Paradox
Luca Tranchini
2024
Automatic Complexity_cover
Automatic ComplexityBjørn Kjos-Hanssen
2024
Automatic Complexity
Automatic Complexity
Bjørn Kjos-Hanssen
2024
The Gold-Bug_cover
The Gold-BugEdgar Allan Poe
2024
The Gold-Bug
The Gold-Bug
Edgar Allan Poe
2024
Operators vs Quantifiers_cover
Operators vs Quantifiers
2023
Operators vs Quantifiers
Operators vs Quantifiers
2023
Studies in Inductive Logic and Probability, Volume I_cover
Studies in Inductive Logic and Probability, Volume IRudolf Carnap, Richard C. Jeffrey
2023
Studies in Inductive Logic and Probability, Volume I
Studies in Inductive Logic and Probability, Volume I
Rudolf Carnap, Richard C. Jeffrey
2023
Threshold Logic_cover
Threshold LogicSze-Tsen Hu
2023
Threshold Logic
Threshold Logic
Sze-Tsen Hu
2023
The Baseball Mysteries_cover
The Baseball MysteriesJerry Butters, Jim Henle
2023
The Baseball Mysteries
The Baseball Mysteries
Jerry Butters, Jim Henle
2023
Inquisitive Logic_cover
Inquisitive LogicIvano Ciardelli
2023
Inquisitive Logic
Inquisitive Logic
Ivano Ciardelli
2023
The Price of Cake_cover
The Price of CakeClément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
2023
The Price of Cake
The Price of Cake
Clément Deslandes, Guillaume Deslandes, Laure Macé de Lépinay
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
Use of abstraction and logic in mathematics_cover
Use of abstraction and logic in mathematics
2023
Use of abstraction and logic in mathematics
Use of abstraction and logic in mathematics
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
Algebraizable Logics_cover
Algebraizable LogicsW. J. Blok, Don Pigozzi
2022
Algebraizable Logics
Algebraizable Logics
W. J. Blok, Don Pigozzi
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs_cover
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced GraphsGregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs
Gregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments_cover
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournamentsGregory Cherlin
2022
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
2022
The Ultrapower Axiom_cover
The Ultrapower AxiomGabriel Goldberg
2022
The Ultrapower Axiom
The Ultrapower Axiom
Gabriel Goldberg
2022
Introduction to Logic_cover
Introduction to LogicImmanuel Kant
2022
Introduction to Logic
Introduction to Logic
Immanuel Kant
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
What Makes Us Smart_cover
What Makes Us SmartSamuel J. Gershman
2021
What Makes Us Smart
What Makes Us Smart
Samuel J. Gershman
2021
The Semantic Conception of Logic_cover
The Semantic Conception of Logic
2021
The Semantic Conception of Logic
The Semantic Conception of Logic
2021
(Co)end Calculus_cover
(Co)end CalculusFosco Loregian
2021
(Co)end Calculus
(Co)end Calculus
Fosco Loregian
2021
Computable Structure Theory_cover
Computable Structure TheoryAntonio Montalbán
2021
Computable Structure Theory
Computable Structure Theory
Antonio Montalbán
2021
Complexity of Infinite-Domain Constraint Satisfaction_cover
Complexity of Infinite-Domain Constraint SatisfactionManuel Bodirsky
2021
Complexity of Infinite-Domain Constraint Satisfaction
Complexity of Infinite-Domain Constraint Satisfaction
Manuel Bodirsky
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
Math Tricks_cover
Math TricksAlfred S. Posamentier
2021
Math Tricks
Math Tricks
Alfred S. Posamentier
2021
Groups and Model Theory_cover
Groups and Model TheoryOlga Kharlampovich, Rizos Sklinos
2021
Groups and Model Theory
Groups and Model Theory
Olga Kharlampovich, Rizos Sklinos
2021
Entropy and Diversity_cover
Entropy and DiversityTom Leinster
2021
Entropy and Diversity
Entropy and Diversity
Tom Leinster
2021
200 Ausgewählte Schachaufgaben_cover
200 Ausgewählte SchachaufgabenOtto Fuss, Ferdinand Möller
2021
200 Ausgewählte Schachaufgaben
200 Ausgewählte Schachaufgaben
Otto Fuss, Ferdinand Möller
2021
Continua_cover
Continua
2020
Continua
Continua
2020
Large Cardinals, Determinacy and Other Topics: Volume 4_cover
Large Cardinals, Determinacy and Other Topics: Volume 4
2020
Large Cardinals, Determinacy and Other Topics: Volume 4
Large Cardinals, Determinacy and Other Topics: Volume 4
2020
Complexity and Randomness in Group Theory_cover
Complexity and Randomness in Group TheoryFrédérique Bassino, Ilya Kapovich, Markus Lohrey, Alexei Miasnikov, Cyril Nicaud, Andrey Nikolaev, Igor Rivin, Vladimir Shpilrain, Alexander Ushakov, Pascal Weil
2020
Complexity and Randomness in Group Theory
Complexity and Randomness in Group Theory
Frédérique Bassino, Ilya Kapovich, Markus Lohrey, Alexei Miasnikov, Cyril Nicaud, Andrey Nikolaev, Igor Rivin, Vladimir Shpilrain, Alexander Ushakov, Pascal Weil
2020
Algorithmic Randomness_cover
Algorithmic Randomness
2020
Algorithmic Randomness
Algorithmic Randomness
2020
The Mathematics of the Gods and the Algorithms of Men_cover
The Mathematics of the Gods and the Algorithms of MenPaolo Zellini
2020
The Mathematics of the Gods and the Algorithms of Men
The Mathematics of the Gods and the Algorithms of Men
Paolo Zellini
2020