Mathematics

Logic in Mathematics

Showing 181 - 240 out of 342 books
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
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
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
Reasoning and Formal Logic_cover
Reasoning and Formal LogicRichard L Epstein
2018
Reasoning and Formal Logic
Reasoning and Formal Logic
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
Mathematics Almost Everywhere_cover
Mathematics Almost Everywhere
2018
Mathematics Almost Everywhere
Mathematics Almost Everywhere
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
Reverse Mathematics_cover
Reverse MathematicsJohn Stillwell
2018
Reverse Mathematics
Reverse Mathematics
John Stillwell
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
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
Der Satz vom ausgeschlossenen Dritten_cover
Der Satz vom ausgeschlossenen DrittenFranz von Kutschera
2017
Der Satz vom ausgeschlossenen Dritten
Der Satz vom ausgeschlossenen Dritten
Franz von Kutschera
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
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
Mengenlehre_cover
MengenlehreDieter Klaua
2016
Mengenlehre
Mengenlehre
Dieter Klaua
2016
Logical Modalities from Aristotle to Carnap_cover
Logical Modalities from Aristotle to Carnap
2016
Logical Modalities from Aristotle to Carnap
Logical Modalities from Aristotle to Carnap
2016
The Logic Of Names : An Introduction To Boole's Laws Of Thought.._cover
The Logic Of Names : An Introduction To Boole's Laws Of Thought..I. P. Hughlings
2016
The Logic Of Names : An Introduction To Boole's Laws Of Thought..
The Logic Of Names : An Introduction To Boole's Laws Of Thought..
I. P. Hughlings
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
Language and Mathematics_cover
Language and MathematicsMarcel Danesi
2016
Language and Mathematics
Language and Mathematics
Marcel Danesi
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