Mathematics

Logic in Mathematics

Showing 301 - 339 out of 339 books
Mediaeval and Renaissance Logic_cover
Mediaeval and Renaissance Logic
2008
Mediaeval and Renaissance Logic
Mediaeval and Renaissance Logic
2008
Logic Colloquium 2005_cover
Logic Colloquium 2005Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
Logic Colloquium 2005
Logic Colloquium 2005
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
The Many Valued and Nonmonotonic Turn in Logic_cover
The Many Valued and Nonmonotonic Turn in Logic
2007
The Many Valued and Nonmonotonic Turn in Logic
The Many Valued and Nonmonotonic Turn in Logic
2007
Coherent Systems_cover
Coherent SystemsKarl Schlechta
2004
Coherent Systems
Coherent Systems
Karl Schlechta
2004
Computational Complexity: A Quantitative Perspective_cover
Computational Complexity: A Quantitative PerspectiveMarius Zimand
2004
Computational Complexity: A Quantitative Perspective
Computational Complexity: A Quantitative Perspective
Marius Zimand
2004
Infinite Words_cover
Infinite WordsDominique Perrin, Jean-Éric Pin
2004
Infinite Words
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Categorical Foundations_cover
Categorical Foundations
2003
Categorical Foundations
Categorical Foundations
2003
Memoirs Of A Proof Theorist: Godel & Other Logicians_cover
Memoirs Of A Proof Theorist: Godel & Other LogiciansNicholas Passell, Mariko Yasugi
2003
Memoirs Of A Proof Theorist: Godel & Other Logicians
Memoirs Of A Proof Theorist: Godel & Other Logicians
Nicholas Passell, Mariko Yasugi
2003
Advances In Modal Logic, Volume 3_cover
Advances In Modal Logic, Volume 3
2002
Advances In Modal Logic, Volume 3
Advances In Modal Logic, Volume 3
2002
Jewels Of Stringology: Text Algorithms_cover
Jewels Of Stringology: Text AlgorithmsMaxime Crochemore, Wojciech Rytter
2002
Jewels Of Stringology: Text Algorithms
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Relation Algebras by Games_cover
Relation Algebras by GamesRobin Hirsch, Ian Hodkinson
2002
Relation Algebras by Games
Relation Algebras by Games
Robin Hirsch, Ian Hodkinson
2002
Half-century Of Automata Theory, A: Celebration And Inspiration_cover
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
Half-century Of Automata Theory, A: Celebration And Inspiration
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
Descriptive Set Theory and Dynamical Systems_cover
Descriptive Set Theory and Dynamical Systems
2000
Descriptive Set Theory and Dynamical Systems
Descriptive Set Theory and Dynamical Systems
2000
Sets and Proofs_cover
Sets and Proofs
1999
Sets and Proofs
Sets and Proofs
1999
Semimodular Lattices_cover
Semimodular LatticesManfred Stern
1999
Semimodular Lattices
Semimodular Lattices
Manfred Stern
1999
Handbook of Proof Theory_cover
Handbook of Proof Theory
1998
Handbook of Proof Theory
Handbook of Proof Theory
1998
Admissibility of Logical Inference Rules_cover
Admissibility of Logical Inference RulesV.V. Rybakov
1997
Admissibility of Logical Inference Rules
Admissibility of Logical Inference Rules
V.V. Rybakov
1997
Handbook of Logic and Language_cover
Handbook of Logic and Language
1996
Handbook of Logic and Language
Handbook of Logic and Language
1996
Logical Frameworks for Truth and Abstraction_cover
Logical Frameworks for Truth and AbstractionA. Cantini
1996
Logical Frameworks for Truth and Abstraction
Logical Frameworks for Truth and Abstraction
A. Cantini
1996
Logic, Methodology and Philosophy of Science VII_cover
Logic, Methodology and Philosophy of Science VII
1986
Logic, Methodology and Philosophy of Science VII
Logic, Methodology and Philosophy of Science VII
1986
Finite Geometries and Designs_cover
Finite Geometries and Designs
1981
Finite Geometries and Designs
Finite Geometries and Designs
1981
Recursion Theory, its Generalisations and Applications_cover
Recursion Theory, its Generalisations and Applications
1980
Recursion Theory, its Generalisations and Applications
Recursion Theory, its Generalisations and Applications
1980
How to Measure the Infinite_cover
How to Measure the InfiniteVieri Benci, Mauro Di Nasso
How to Measure the Infinite
How to Measure the Infinite
Vieri Benci, Mauro Di Nasso
Reflections on the Foundations of Mathematics_cover
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
Logic Colloquium 2000_cover
Logic Colloquium 2000
Logic Colloquium 2000
Logic Colloquium 2000
Logic Colloquium '01_cover
Logic Colloquium '01
Logic Colloquium '01
Logic Colloquium '01
Logicism Renewed_cover
Logicism RenewedPaul C. Gilmore
Logicism Renewed
Logicism Renewed
Paul C. Gilmore
Logic in Tehran_cover
Logic in Tehran
Logic in Tehran
Logic in Tehran
Inexhaustibility_cover
InexhaustibilityTorkel Franzén
Inexhaustibility
Inexhaustibility
Torkel Franzén
Reverse Mathematics 2001_cover
Reverse Mathematics 2001
Reverse Mathematics 2001
Reverse Mathematics 2001
Intensionality_cover
Intensionality
Intensionality
Intensionality
Logic Colloquium '02_cover
Logic Colloquium '02
Logic Colloquium '02
Logic Colloquium '02
Nonstandard Methods and Applications in Mathematics_cover
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
Nonstandard Methods and Applications in Mathematics
Model Theory of Stochastic Processes_cover
Model Theory of Stochastic ProcessesSergio Fajardo, H. Jerome Keisler
Model Theory of Stochastic Processes
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
Logic Colloquium '98_cover
Logic Colloquium '98
Logic Colloquium '98
Logic Colloquium '98
Logic Colloquium '03_cover
Logic Colloquium '03
Logic Colloquium '03
Logic Colloquium '03
Logic Colloquium '99_cover
Logic Colloquium '99
Logic Colloquium '99
Logic Colloquium '99
The Notre Dame Lectures_cover
The Notre Dame Lectures
The Notre Dame Lectures
The Notre Dame Lectures
Catalan's Constant to 1, 500, 000 Places_cover
Catalan's Constant to 1, 500, 000 PlacesVarious
2025
Catalan's Constant to 1, 500, 000 Places
Catalan's Constant to 1, 500, 000 Places
Various
2025