Mathematics

Logic in Mathematics

Showing 181 - 240 out of 363 books
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
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
Analysis and Synthesis of Singular Systems_cover
Analysis and Synthesis of Singular SystemsZhiguang Feng, Jiangrong Li, Peng Shi, Haiping Du, Zhengyi Jiang
2020
Analysis and Synthesis of Singular Systems
Analysis and Synthesis of Singular Systems
Zhiguang Feng, Jiangrong Li, Peng Shi, Haiping Du, Zhengyi Jiang
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
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
Logic in Practice_cover
Logic in PracticeL. Susan Stebbing
2019
Logic in Practice
Logic in Practice
L. Susan Stebbing
2019
Formal Methods in Computer Science_cover
Formal Methods in Computer ScienceJiacun Wang, William Tepfenhart
2019
Formal Methods in Computer Science
Formal Methods in Computer Science
Jiacun Wang, William Tepfenhart
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
Justification Logic_cover
Justification LogicSergei Artemov, Melvin Fitting
2019
Justification Logic
Justification Logic
Sergei Artemov, Melvin Fitting
2019
Intelligent Data Analysis for Biomedical Applications_cover
Intelligent Data Analysis for Biomedical Applications
2019
Intelligent Data Analysis for Biomedical Applications
Intelligent Data Analysis for Biomedical Applications
2019
A First Course in Logic_cover
A First Course in LogicMark Verus Lawson
2018
A First Course in Logic
A First Course in Logic
Mark Verus Lawson
2018
Abstract Recursion and Intrinsic Complexity_cover
Abstract Recursion and Intrinsic ComplexityYiannis N. Moschovakis
2018
Abstract Recursion and Intrinsic Complexity
Abstract Recursion and Intrinsic Complexity
Yiannis N. Moschovakis
2018
Propositional Logics 3rd edition_cover
Propositional Logics 3rd editionRichard L Epstein
2018
Propositional Logics 3rd edition
Propositional Logics 3rd edition
Richard L Epstein
2018
Fuzzy Control_cover
Fuzzy ControlKoch
2018
Fuzzy Control
Fuzzy Control
Koch
2018
Eliminating the Universe_cover
Eliminating the UniverseEdward L Keenan
2018
Eliminating the Universe
Eliminating the Universe
Edward L Keenan
2018
Fixing Frege_cover
Fixing FregeJohn P. Burgess
2018
Fixing Frege
Fixing Frege
John P. Burgess
2018
Stochastic Drawdowns_cover
Stochastic DrawdownsHongzhong Zhang
2018
Stochastic Drawdowns
Stochastic Drawdowns
Hongzhong Zhang
2018
Synthetic Differential Topology_cover
Synthetic Differential TopologyMarta Bunge, Felipe Gago, Ana María San Luis
2018
Synthetic Differential Topology
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
Fundamentals of Functions and Measure Theory
Valeriy K. Zakharov, Timofey V. Rodionov, Alexander V. Mikhalev
2018
The Digital and the Real World_cover
The Digital and the Real WorldKlaus Mainzer
2017
The Digital and the Real World
The Digital and the Real World
Klaus Mainzer
2017
Multiple-Valued Logic Design_cover
Multiple-Valued Logic DesignG Epstein
2017
Multiple-Valued Logic Design
Multiple-Valued Logic Design
G Epstein
2017
uFORM iFORM_cover
uFORM iFORMRalf Peyn
2017
uFORM iFORM
uFORM iFORM
Ralf Peyn
2017
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
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Martin Grohe
2017
Descriptive Set Theory and Forcing_cover
Descriptive Set Theory and ForcingArnold W. Miller
2017
Descriptive Set Theory and Forcing
Descriptive Set Theory and Forcing
Arnold W. Miller
2017
The Induction Book_cover
The Induction BookSteven H. Weintraub
2017
The Induction Book
The Induction Book
Steven H. Weintraub
2017
Logic: The Basics_cover
Logic: The BasicsJc Beall, Shay Allen Logan
2017
Logic: The Basics
Logic: The Basics
Jc Beall, Shay Allen Logan
2017
Degrees of Unsolvability_cover
Degrees of UnsolvabilityManuel Lerman
2017
Degrees of Unsolvability
Degrees of Unsolvability
Manuel Lerman
2017
Proper and Improper Forcing_cover
Proper and Improper ForcingSaharon Shelah
2017
Proper and Improper Forcing
Proper and Improper Forcing
Saharon Shelah
2017
Constructibility_cover
ConstructibilityKeith J. Devlin
2017
Constructibility
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
Fine Structure and Iteration Trees
William J. Mitchell, John R. Steel
2017
Logic Colloquium '90_cover
Logic Colloquium '90
2017
Logic Colloquium '90
Logic Colloquium '90
2017
Computability in Analysis and Physics_cover
Computability in Analysis and PhysicsMarian B. Pour-El, J. Ian Richards
2017
Computability in Analysis and Physics
Computability in Analysis and Physics
Marian B. Pour-El, J. Ian Richards
2017
Higher Recursion Theory_cover
Higher Recursion TheoryGerald E. Sacks
2017
Higher Recursion Theory
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
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
Admissible Sets and Structures
Jon Barwise
2017
Model-Theoretic Logics_cover
Model-Theoretic Logics
2017
Model-Theoretic Logics
Model-Theoretic Logics
2017
Recursion-Theoretic Hierarchies_cover
Recursion-Theoretic HierarchiesPeter G. Hinman
2017
Recursion-Theoretic Hierarchies
Recursion-Theoretic Hierarchies
Peter G. Hinman
2017
General Recursion Theory_cover
General Recursion TheoryJens E. Fenstad
2017
General Recursion Theory
General Recursion Theory
Jens E. Fenstad
2017
Fundamentals of Stability Theory_cover
Fundamentals of Stability TheoryJohn T. Baldwin
2017
Fundamentals of Stability Theory
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
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
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
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
Bounded Variable Logics and Counting
Martin Otto
2017
Logic Colloquium '95_cover
Logic Colloquium '95
2017
Logic Colloquium '95
Logic Colloquium '95
2017
Logic Colloquium '96_cover
Logic Colloquium '96
2017
Logic Colloquium '96
Logic Colloquium '96
2017
Aspects of Incompleteness_cover
Aspects of IncompletenessPer Lindström
2017
Aspects of Incompleteness
Aspects of Incompleteness
Per Lindström
2017
Essential Stability Theory_cover
Essential Stability TheorySteven Buechler
2017
Essential Stability Theory
Essential Stability Theory
Steven Buechler
2017
Controlling Language in Industry_cover
Controlling Language in IndustryStephen Crabbe
2017
Controlling Language in Industry
Controlling Language in Industry
Stephen Crabbe
2017
Crystal Chemistry_cover
Crystal ChemistryGérard Ferey
2016
Crystal Chemistry
Crystal Chemistry
Gérard Ferey
2016
Lectures on Infinitary Model Theory_cover
Lectures on Infinitary Model TheoryDavid Marker
2016
Lectures on Infinitary Model Theory
Lectures on Infinitary Model Theory
David Marker
2016
Introduction to Coalgebra_cover
Introduction to CoalgebraBart Jacobs
2016
Introduction to Coalgebra
Introduction to Coalgebra
Bart Jacobs
2016