Mathematics

Logic in Mathematics

Showing 121 - 180 out of 336 books
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
2023
The Vienna Circle
The Vienna Circle
Victor Kraft
2023
What Makes Us Smart_cover
What Makes Us SmartSamuel J. Gershman
2021
What Makes Us Smart
What Makes Us Smart
Samuel J. Gershman
2021
Logic as a Tool_cover
Logic as a ToolValentin Goranko
2016
Logic as a Tool
Logic as a Tool
Valentin Goranko
2016
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicAlonzo Church
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Alonzo Church
2016
Proof Theory_cover
Proof TheoryGaisi Takeuti
2013
Proof Theory
Proof Theory
Gaisi Takeuti
2013
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
Mathematical Logic_cover
Mathematical LogicGeorge Tourlakis
2011
Mathematical Logic
Mathematical Logic
George Tourlakis
2011
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
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
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
Intuitive Axiomatic Set Theory_cover
Intuitive Axiomatic Set TheoryJosé L Garciá
2024
Intuitive Axiomatic Set Theory
Intuitive Axiomatic Set Theory
José L Garciá
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
Advances in Applied Mathematical Analysis and Applications_cover
Advances in Applied Mathematical Analysis and Applications
2022
Advances in Applied Mathematical Analysis and Applications
Advances in Applied Mathematical Analysis and Applications
2022
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
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
The Learning and Teaching of Number_cover
The Learning and Teaching of NumberRina Zazkis, John Mason, Igor' Kontorovich
2021
The Learning and Teaching of Number
The Learning and Teaching of Number
Rina Zazkis, John Mason, Igor' Kontorovich
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
Handbook of Fuzzy Computation_cover
Handbook of Fuzzy ComputationE Ruspini, P Bonissone, W Pedrycz
2020
Handbook of Fuzzy Computation
Handbook of Fuzzy Computation
E Ruspini, P Bonissone, W Pedrycz
2020
Elementary Theory of Groups and Group Rings, and Related Topics_cover
Elementary Theory of Groups and Group Rings, and Related TopicsPaul Baginski, Benjamin Fine, Anja Moldenhauer, Gerhard Rosenberger, Vladimir Shpilrain
2020
Elementary Theory of Groups and Group Rings, and Related Topics
Elementary Theory of Groups and Group Rings, and Related Topics
Paul Baginski, Benjamin Fine, Anja Moldenhauer, Gerhard Rosenberger, Vladimir Shpilrain
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
Topics in Modern Logic_cover
Topics in Modern LogicD. C. Makinson
2019
Topics in Modern Logic
Topics in Modern Logic
D. C. Makinson
2019
Mengenlehre_cover
MengenlehreE. Kamke
2019
Mengenlehre
Mengenlehre
E. Kamke
2019
Formale Logik_cover
Formale LogikPaul Lorenzen
2019
Formale Logik
Formale Logik
Paul Lorenzen
2019
Formale Logik_cover
Formale LogikPaul Lorenzen
2019
Formale Logik
Formale Logik
Paul Lorenzen
2019
Justification Logic_cover
Justification LogicSergei Artemov, Melvin Fitting
2019
Justification Logic
Justification Logic
Sergei Artemov, Melvin Fitting
2019