Filter

Mathematical Logic

74 books found

Computability and logic
Computability and logic

by George Boolos, Richard C. Jeffrey

1974 19 ed.
Logic Colloquium 2005
Logic Colloquium 2005

by Logic Colloquium (2005 Athens, Greece), Costas Dimitracopoulos

2007 8 ed.
Analysis and logic
Analysis and logic

by C. Ward Henson, José Iovino

2002 7 ed.
Polynomial completeness in algebraic systems
Polynomial completeness in algebraic systems

by Kalle Kaarli, Alden F. Pixley

2000 7 ed.
Fuzzy Logic with Engineering Applications
Fuzzy Logic with Engineering Applications

by Timothy J. Ross

1995 6 ed.
Continuous lattices and domains
Continuous lattices and domains

by Gerhard Gierz, G. Gierz

2003 6 ed.
Logic Colloquium '02
Logic Colloquium '02

by Logic Colloquium '02 (2002 Münster, Germany), Logic Colloquium 0

2006 6 ed.
Logic Colloquium '99
Logic Colloquium '99

by Logic Colloquium (1999 Utrecht, Netherlands), Vincent Van Oostrom

2004 6 ed.
Finite model theory
Finite model theory

by Heinz-Dieter Ebbinghaus, Jörg Flum

1995 5 ed.
Mathematical thinking
Mathematical thinking

by John P. D'Angelo, Douglas B. West

1996 5 ed.
Computability
Computability

by Richard L. Epstein, Richard .L. Epstein

1988 4 ed.
Invariant sets for Windows
Invariant sets for Windows

by Timothy N. Dragunov, Svetlana A. Boykova

1999 4 ed.
Visual complex analysis
Visual complex analysis

by Tristan Needham

1997 4 ed.
Equations with involutive operators
Equations with involutive operators

by N. K. Karapeti͡ant͡s, Nikolai Karapetiants

2001 4 ed.
Inexhaustibility
Inexhaustibility

by Torkel Franzén, Torkel Franzen

2002 4 ed.
Problems in set theory, mathematical logic, and the theory of algorithms
Problems in set theory, mathematical logic, and the theory o...

by I. A. Lavrov, Igor Lavrov

2003 4 ed.
Logic Colloquium '01
Logic Colloquium '01

by Logic Colloquium (2001 Vienna, Austria), Matthias Baaz

2005 4 ed.
DNA computing
DNA computing

by Gheorghe Păun, Gheorghe Paun

1998 4 ed.
Advances in modal logic
Advances in modal logic

by Marcus Kracht, Heinrich Wansing

1998 4 ed.
Algorithms and complexity
Algorithms and complexity

by Italian Conference on Algorithms and Complexity (5th 2003 Rome, Italy), Rosella Petreschi

2003 3 ed.