Mathematics

Logic in Mathematics

Showing 181 - 240 out of 335 books
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
Maths in Bite-sized Chunks_cover
Maths in Bite-sized ChunksChris Waring
2018
Maths in Bite-sized Chunks
Maths in Bite-sized Chunks
Chris Waring
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
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
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
Introduction to Mathematical Logic_cover
Introduction to Mathematical LogicAlonzo Church
2016
Introduction to Mathematical Logic
Introduction to Mathematical Logic
Alonzo Church
2016
Logic and Algebraic Structures in Quantum Computing_cover
Logic and Algebraic Structures in Quantum Computing
2016
Logic and Algebraic Structures in Quantum Computing
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
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
Logic: The Theory of Formal Inference
Alice Ambrose, Morris Lazerowitz
2015
A Guide to NIP Theories_cover
A Guide to NIP TheoriesPierre Simon
2015
A Guide to NIP Theories
A Guide to NIP Theories
Pierre Simon
2015
Philosophie der Mathematik_cover
Philosophie der MathematikThomas Bedürftig, Roman Murawski
2015
Philosophie der Mathematik
Philosophie der Mathematik
Thomas Bedürftig, Roman Murawski
2015
Pure Inductive Logic_cover
Pure Inductive LogicJeffrey Paris, Alena Vencovská
2015
Pure Inductive Logic
Pure Inductive Logic
Jeffrey Paris, Alena Vencovská
2015
Logic Without Borders_cover
Logic Without BordersÅsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015
Logic Without Borders
Logic Without Borders
Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015
Computational Logic_cover
Computational Logic
2014
Computational Logic
Computational Logic
2014