Skip to main content
Perlego
Browse
Institutions
Pricing
Login
Sign up to read
Deutsch
English
Español
Français
Italiano
globe icon
close
Deutsch
English
Español
Français
Italiano
globe icon
English
close
Browse by topic
Architecture
Art
Biological Sciences
Business
Computer Science
Design
Economics
Education
History
Languages & Linguistics
Law
Literature
Mathematics
Media & Performing Arts
Medicine
Personal Development
Philosophy
Physical Sciences
Politics & International Relations
Psychology
Social Sciences
Study Aids
Technology & Engineering
Theology & Religion
Or browse by
Subtopics
Publishers
Index
Browse study resources
Knowledge Base
Study Guides
Essay Writing Guides
Home
Browse
Mathematics
Logic in Mathematics
Mathematics
Logic in Mathematics
Explore
Books
Related topics
English
close
Most popular
close
Showing 301 - 360 out of 363 books
Models and Games
Jouko Väänänen
2011
Sign up to read
Models and Games
Jouko Väänänen
2011
Deep Beauty
2011
Sign up to read
Deep Beauty
2011
Finite and Algorithmic Model Theory
2011
Sign up to read
Finite and Algorithmic Model Theory
2011
Computability In Context: Computation And Logic In The Real World
2011
Sign up to read
Computability In Context: Computation And Logic In The Real World
2011
Forcing with Random Variables and Proof Complexity
Jan Krajíček
2010
Sign up to read
Forcing with Random Variables and Proof Complexity
Jan Krajíček
2010
Handbook of Logic and Language
2010
Sign up to read
Handbook of Logic and Language
2010
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
2010
Sign up to read
The Logic of Quantum Mechanics: Volume 15
Enrico G. Beltrametti, Gianni Cassinelli
2010
Relational Mathematics
Gunther Schmidt
2010
Sign up to read
Relational Mathematics
Gunther Schmidt
2010
Zariski Geometries
Boris Zilber
2010
Sign up to read
Zariski Geometries
Boris Zilber
2010
Mathematical Analysis and Proof
David S G Stirling
2009
Sign up to read
Mathematical Analysis and Proof
David S G Stirling
2009
The Birth of Model Theory
Calixto Badesa
2009
Sign up to read
The Birth of Model Theory
Calixto Badesa
2009
Consequences of Martin's Axiom
D. H. Fremlin
2008
Sign up to read
Consequences of Martin's Axiom
D. H. Fremlin
2008
The Determinacy of Long Games
Itay Neeman
2008
Sign up to read
The Determinacy of Long Games
Itay Neeman
2008
Mediaeval and Renaissance Logic
2008
Sign up to read
Mediaeval and Renaissance Logic
2008
Logic Colloquium 2005
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
Sign up to read
Logic Colloquium 2005
Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel
2007
The Many Valued and Nonmonotonic Turn in Logic
2007
Sign up to read
The Many Valued and Nonmonotonic Turn in Logic
2007
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Guang-quan Zhang, Da Ruan, Jie Lu
2007
Sign up to read
Multi-objective Group Decision Making: Methods Software And Applications With Fuzzy Set Techniques
Guang-quan Zhang, Da Ruan, Jie Lu
2007
Philosophy of Logic
2006
Sign up to read
Philosophy of Logic
2006
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Sign up to read
A Practical Logic of Cognitive Systems
Dov M. Gabbay, John Woods
2005
Mathematics and the Divine
2004
Sign up to read
Mathematics and the Divine
2004
Coherent Systems
Karl Schlechta
2004
Sign up to read
Coherent Systems
Karl Schlechta
2004
Computational Complexity: A Quantitative Perspective
Marius Zimand
2004
Sign up to read
Computational Complexity: A Quantitative Perspective
Marius Zimand
2004
The Rise of Modern Logic: from Leibniz to Frege
2004
Sign up to read
The Rise of Modern Logic: from Leibniz to Frege
2004
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Sign up to read
Infinite Words
Dominique Perrin, Jean-Éric Pin
2004
Greek, Indian and Arabic Logic
2004
Sign up to read
Greek, Indian and Arabic Logic
2004
Logic And Declarative Language
M. Downward
2004
Sign up to read
Logic And Declarative Language
M. Downward
2004
Categorical Foundations
2003
Sign up to read
Categorical Foundations
2003
Memoirs Of A Proof Theorist: Godel & Other Logicians
Nicholas Passell, Mariko Yasugi
2003
Sign up to read
Memoirs Of A Proof Theorist: Godel & Other Logicians
Nicholas Passell, Mariko Yasugi
2003
Advances In Modal Logic, Volume 3
2002
Sign up to read
Advances In Modal Logic, Volume 3
2002
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Sign up to read
Jewels Of Stringology: Text Algorithms
Maxime Crochemore, Wojciech Rytter
2002
Relation Algebras by Games
Robin Hirsch, Ian Hodkinson
2002
Sign up to read
Relation Algebras by Games
Robin Hirsch, Ian Hodkinson
2002
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
2002
Sign up to read
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
2002
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
Sign up to read
Half-century Of Automata Theory, A: Celebration And Inspiration
2001
Quantum Theoretic Machines
A. Stern
2000
Sign up to read
Quantum Theoretic Machines
A. Stern
2000
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
Guanrong Chen, Trung Tat Pham
2000
Sign up to read
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems
Guanrong Chen, Trung Tat Pham
2000
Descriptive Set Theory and Dynamical Systems
2000
Sign up to read
Descriptive Set Theory and Dynamical Systems
2000
Sets and Proofs
1999
Sign up to read
Sets and Proofs
1999
Semimodular Lattices
Manfred Stern
1999
Sign up to read
Semimodular Lattices
Manfred Stern
1999
Handbook of Proof Theory
1998
Sign up to read
Handbook of Proof Theory
1998
Numbers and Proofs
Reg Allenby
1997
Sign up to read
Numbers and Proofs
Reg Allenby
1997
Admissibility of Logical Inference Rules
V.V. Rybakov
1997
Sign up to read
Admissibility of Logical Inference Rules
V.V. Rybakov
1997
Handbook of Logic and Language
1996
Sign up to read
Handbook of Logic and Language
1996
Logical Frameworks for Truth and Abstraction
A. Cantini
1996
Sign up to read
Logical Frameworks for Truth and Abstraction
A. Cantini
1996
Logic, Methodology and Philosophy of Science VII
1986
Sign up to read
Logic, Methodology and Philosophy of Science VII
1986
Finite Geometries and Designs
1981
Sign up to read
Finite Geometries and Designs
1981
Recursion Theory, its Generalisations and Applications
1980
Sign up to read
Recursion Theory, its Generalisations and Applications
1980
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
Sign up to read
A Course in Mathematical Logic
J.L. Bell, M. Machover
1977
How to Measure the Infinite
Vieri Benci, Mauro Di Nasso
Sign up to read
How to Measure the Infinite
Vieri Benci, Mauro Di Nasso
Reflections on the Foundations of Mathematics
Sign up to read
Reflections on the Foundations of Mathematics
Logic Colloquium 2000
Sign up to read
Logic Colloquium 2000
Logic Colloquium '01
Sign up to read
Logic Colloquium '01
Logicism Renewed
Paul C. Gilmore
Sign up to read
Logicism Renewed
Paul C. Gilmore
Logic in Tehran
Sign up to read
Logic in Tehran
Inexhaustibility
Torkel Franzén
Sign up to read
Inexhaustibility
Torkel Franzén
Reverse Mathematics 2001
Sign up to read
Reverse Mathematics 2001
Intensionality
Sign up to read
Intensionality
Logic Colloquium '02
Sign up to read
Logic Colloquium '02
Nonstandard Methods and Applications in Mathematics
Sign up to read
Nonstandard Methods and Applications in Mathematics
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
Sign up to read
Model Theory of Stochastic Processes
Sergio Fajardo, H. Jerome Keisler
Logic Colloquium '98
Sign up to read
Logic Colloquium '98
1
...
2
3
4
5
6
7
