Mathematics iconMathematics

Logic in Mathematics

ExploreBooksRelated topics
Showing 121 - 180 out of 267 books
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_cover
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_cover
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments
Gregory Cherlin
2022
The Elements of Advanced Mathematics_cover
The Elements of Advanced MathematicsSteven G. Krantz
2022
The Elements of Advanced Mathematics_cover
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_cover
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_cover
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_cover
Elements of ∞-Category Theory
Emily Riehl, Dominic Verity
2022
Paradoxes and Inconsistent Mathematics_cover
Paradoxes and Inconsistent MathematicsZach Weber
2021
Paradoxes and Inconsistent Mathematics_cover
Paradoxes and Inconsistent Mathematics
Zach Weber
2021
(Co)end Calculus_cover
(Co)end CalculusFosco Loregian
2021
(Co)end Calculus_cover
(Co)end Calculus
Fosco Loregian
2021
Computable Structure Theory_cover
Computable Structure TheoryAntonio Montalbán
2021
Computable Structure Theory_cover
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_cover
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_cover
Foundations of Constructive Probability Theory
Yuen-Kwok Chan
2021
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_cover
Large Cardinals, Determinacy and Other Topics: Volume 4
2020
Algorithmic Randomness_cover
Algorithmic Randomness
2020
Algorithmic Randomness_cover
Algorithmic Randomness
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_cover
An Elementary Transition to Abstract Mathematics
Gove Effinger, Gary L. Mullen
2019
Intelligent Data Analysis for Biomedical Applications_cover
Intelligent Data Analysis for Biomedical Applications
2019
Intelligent Data Analysis for Biomedical Applications_cover
Intelligent Data Analysis for Biomedical Applications
2019
The Everyday Life of an Algorithm_cover
The Everyday Life of an AlgorithmDaniel Neyland
2018
The Everyday Life of an Algorithm_cover
The Everyday Life of an Algorithm
Daniel Neyland
2018
Abstract Recursion and Intrinsic Complexity_cover
Abstract Recursion and Intrinsic ComplexityYiannis N. Moschovakis
2018
Abstract Recursion and Intrinsic Complexity_cover
Abstract Recursion and Intrinsic Complexity
Yiannis N. Moschovakis
2018
Reasoning and Formal Logic_cover
Reasoning and Formal LogicRichard L Epstein
2018
Reasoning and Formal Logic_cover
Reasoning and Formal Logic
Richard L Epstein
2018
Eliminating the Universe_cover
Eliminating the UniverseEdward L Keenan
2018
Eliminating the Universe_cover
Eliminating the Universe
Edward L Keenan
2018
Stochastic Drawdowns_cover
Stochastic DrawdownsHongzhong Zhang
2018
Stochastic Drawdowns_cover
Stochastic Drawdowns
Hongzhong Zhang
2018
Mathematics Almost Everywhere_cover
Mathematics Almost Everywhere
2018
Mathematics Almost Everywhere_cover
Mathematics Almost Everywhere
2018
Synthetic Differential Topology_cover
Synthetic Differential TopologyMarta Bunge, Felipe Gago, Ana María San Luis
2018
Synthetic Differential Topology_cover
Synthetic Differential Topology
Marta Bunge, Felipe Gago, Ana María San Luis
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_cover
Fundamentals of Functions and Measure Theory
Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
Reverse Mathematics_cover
Reverse MathematicsJohn Stillwell
2018
Reverse Mathematics_cover
Reverse Mathematics
John Stillwell
2018
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory_cover
Descriptive Complexity, Canonisation, and Definable Graph Structure TheoryMartin Grohe
2017
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory_cover
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
2017
Exploring Mathematics_cover
Exploring MathematicsJohn Meier, Derek Smith
2017
Exploring Mathematics_cover
Exploring Mathematics
John Meier, Derek Smith
2017
Degrees of Unsolvability_cover
Degrees of UnsolvabilityManuel Lerman
2017
Degrees of Unsolvability_cover
Degrees of Unsolvability
Manuel Lerman
2017
Proper and Improper Forcing_cover
Proper and Improper ForcingSaharon Shelah
2017
Proper and Improper Forcing_cover
Proper and Improper Forcing
Saharon Shelah
2017
Constructibility_cover
ConstructibilityKeith J. Devlin
2017
Constructibility_cover
Constructibility
Keith J. Devlin
2017
Fine Structure and Iteration Trees_cover
Fine Structure and Iteration TreesWilliam J. Mitchell, John R. Steel
2017
Fine Structure and Iteration Trees_cover
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017
Logic Colloquium '90_cover
Logic Colloquium '90
2017
Logic Colloquium '90_cover
Logic Colloquium '90
2017
Higher Recursion Theory_cover
Higher Recursion TheoryGerald E. Sacks
2017
Higher Recursion Theory_cover
Higher Recursion Theory
Gerald E. Sacks
2017
Metamathematics of First-Order Arithmetic_cover
Metamathematics of First-Order ArithmeticPetr Hájek, Pavel Pudlák
2017
Metamathematics of First-Order Arithmetic_cover
Metamathematics of First-Order Arithmetic
Petr Hájek, Pavel Pudlák
2017
Admissible Sets and Structures_cover
Admissible Sets and StructuresJon Barwise
2017
Admissible Sets and Structures_cover
Admissible Sets and Structures
Jon Barwise
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Recursion-Theoretic Hierarchies_cover
Recursion-Theoretic HierarchiesPeter G. Hinman
2017
Recursion-Theoretic Hierarchies_cover
Recursion-Theoretic Hierarchies
Peter G. Hinman
2017
General Recursion Theory_cover
General Recursion TheoryJens E. Fenstad
2017
General Recursion Theory_cover
General Recursion Theory
Jens E. Fenstad
2017
Fundamentals of Stability Theory_cover
Fundamentals of Stability TheoryJohn T. Baldwin
2017
Fundamentals of Stability Theory_cover
Fundamentals of Stability Theory
John T. Baldwin
2017
Model Theory of Fields_cover
Model Theory of FieldsDavid Marker, Margit Messmer, Anand Pillay
2017
Model Theory of Fields_cover
Model Theory of Fields
David Marker, Margit Messmer, Anand Pillay
2017
A General Algebraic Semantics for Sentential Logics_cover
A General Algebraic Semantics for Sentential LogicsJosep Maria Font, Ramon Jansana
2017
A General Algebraic Semantics for Sentential Logics_cover
A General Algebraic Semantics for Sentential Logics
Josep Maria Font, Ramon Jansana
2017
The Core Model Iterability Problem_cover
The Core Model Iterability ProblemJohn R. Steel
2017
The Core Model Iterability Problem_cover
The Core Model Iterability Problem
John R. Steel
2017
Bounded Variable Logics and Counting_cover
Bounded Variable Logics and CountingMartin Otto
2017
Bounded Variable Logics and Counting_cover
Bounded Variable Logics and Counting
Martin Otto
2017
Logic Colloquium '95_cover
Logic Colloquium '95
2017
Logic Colloquium '95_cover
Logic Colloquium '95
2017
Logic Colloquium '96_cover
Logic Colloquium '96
2017
Logic Colloquium '96_cover
Logic Colloquium '96
2017
Aspects of Incompleteness_cover
Aspects of IncompletenessPer Lindström
2017
Aspects of Incompleteness_cover
Aspects of Incompleteness
Per Lindström
2017
Essential Stability Theory_cover
Essential Stability TheorySteven Buechler
2017
Essential Stability Theory_cover
Essential Stability Theory
Steven Buechler
2017
Gödel '96_cover
Gödel '96
2017
Gödel '96_cover
Gödel '96
2017
Controlling Language in Industry_cover
Controlling Language in IndustryStephen Crabbe
2017
Controlling Language in Industry_cover
Controlling Language in Industry
Stephen Crabbe
2017
Crystal Chemistry_cover
Crystal ChemistryGérard Ferey
2016
Crystal Chemistry_cover
Crystal Chemistry
Gérard Ferey
2016
Lectures on Infinitary Model Theory_cover
Lectures on Infinitary Model TheoryDavid Marker
2016
Lectures on Infinitary Model Theory_cover
Lectures on Infinitary Model Theory
David Marker
2016
Introduction to Coalgebra_cover
Introduction to CoalgebraBart Jacobs
2016
Introduction to Coalgebra_cover
Introduction to Coalgebra
Bart Jacobs
2016
Logical Modalities from Aristotle to Carnap_cover
Logical Modalities from Aristotle to Carnap
2016
Logical Modalities from Aristotle to Carnap_cover
Logical Modalities from Aristotle to Carnap
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_cover
Probing The Meaning Of Quantum Mechanics: Superpositions, Dynamics, Semantics And Identity
2016
Language and Mathematics_cover
Language and MathematicsMarcel Danesi
2016
Language and Mathematics_cover
Language and Mathematics
Marcel Danesi
2016
Annals of Mathematics Studies_cover
Annals of Mathematics StudiesEmil L. Post
2016
Annals of Mathematics Studies_cover
Annals of Mathematics Studies
Emil L. Post
2016
Logic and Algebraic Structures in Quantum Computing_cover
Logic and Algebraic Structures in Quantum Computing
2016
Logic and Algebraic Structures in Quantum Computing_cover
Logic and Algebraic Structures in Quantum Computing
2016
Ordinal Definability and Recursion Theory: Volume 3_cover
Ordinal Definability and Recursion Theory: Volume 3
2016
Ordinal Definability and Recursion Theory: Volume 3_cover
Ordinal Definability and Recursion Theory: Volume 3
2016
Logic: The Theory of Formal Inference_cover
Logic: The Theory of Formal InferenceAlice Ambrose, Morris Lazerowitz
2015
Logic: The Theory of Formal Inference_cover
Logic: The Theory of Formal Inference
Alice Ambrose, Morris Lazerowitz
2015
A Sequential Introduction to Real Analysis_cover
A Sequential Introduction to Real AnalysisJ M Speight
2015
A Sequential Introduction to Real Analysis_cover
A Sequential Introduction to Real Analysis
J M Speight
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_cover
Fuzzy Neural Networks for Real Time Control Applications
Erdal Kayacan, Mojtaba Ahmadieh Khanesar
2015