Author(s)
Bibliographic Information
Oxford logic guides
Clarendon Press , Oxford University Press
- Other Title
-
OLG
Search this Book/Journal
-
21
- Model theory
-
María Manzano ; translated by Ruy J.G.B. de Queiroz
Clarendon Press 1999 Oxford logic guides 37
Available at 19 libraries
-
22
- Fibring logics
-
Dov M. Gabbay
Clarendon Press c1999 Oxford logic guides 38
: hbk
Available at 20 libraries
-
23
- Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
-
edited by Giovanni Sambin and Jan M. Smith
Clarendon Press , Oxford University Press 1998 Oxford logic guides 36
Available at 17 libraries
-
24
- Modal logic
-
Alexander Chagrov and Michael Zakharyaschev
Clarendon Press , Oxford University Press 1997 Oxford logic guides 35
Available at 52 libraries
-
25
- Set theory and the continuum problem
-
Raymond M. Smullyan and Melvin Fitting
Clarendon Press , Oxford University Press 1996 Oxford logic guides 34
Available at 30 libraries
-
26
- Geometric stability theory
-
Anand Pillay
Clarendon Press , Oxford University Press 1996 Oxford logic guides 32
Available at 26 libraries
-
27
- Labelled deductive systems
-
Dov M. Gabbay
Oxford University Press , Clarendon 1996- Oxford logic guides 33
v. 1
Available at 28 libraries
-
28
- Set theory with a universal set : exploring an untyped universe
-
T.E. Forster
Clarendon Press 1995 2nd ed Oxford logic guides 31 , Oxford science publications
Available at 18 libraries
-
29
- Elementary categories, elementary toposes
-
Colin McLarty
Clarendon Press , Oxford University Press 1995, c1992 Oxford logic guides 21 , Oxford science publications
: pbk
Available at 25 libraries
-
30
- Features and fluents : representation of knowledge about dynamical systems
-
Erik Sandewall
Clarendon Press , Oxford University Press 1994- Oxford logic guides 30
v. 1
Available at 20 libraries
-
31
- Cardinal arithmetic
-
Saharon Shelah
Clarendon Press , Oxford University Press 1994 Oxford logic guides 29
Available at 27 libraries
-
32
- Groups of finite Morley rank
-
Alexandre Borovik and Ali Nesin
Clarendon Press , Oxford University Press 1994 Oxford logic guides 26
Available at 20 libraries
-
33
- Diagonalization and self-reference
-
Raymond M. Smullyan
Clarendon Press 1994 Oxford logic guides 27
Available at 32 libraries
-
34
- Temporal logic : mathematical foundations and computational aspects
-
Dov M. Gabbay, Ian Hodkinson and Mark Reynolds
Clarendon Press , Oxford University Press 1994- Oxford logic guides 28,
40 v. 1 , v. 2
Available at 53 libraries
-
35
- Introduction to logic and to the methodology of the deductive sciences
-
by Alfred Tarski
Oxford University Press 1994 4th ed. / edited by Jan Tarski Oxford logic guides 24
Available at 31 libraries
-
36
- Many-valued logics
-
Grzegorz Malinowski
Clarendon Press , Oxford University Press 1993 Oxford logic guides 25
Available at 24 libraries
-
37
- Arithmetic, proof theory, and computational complexity
-
edited by Peter Clote and Jan Krajíček
Clarendon Press 1993 Oxford logic guides 23
Available at 41 libraries
-
38
- Recursion theory for metamathematics
-
Raymond M. Smullyan
Oxford University Press 1993 Oxford logic guides 22
Available at 42 libraries
-
39
- Gödel's incompleteness theorems
-
Raymond M. Smullyan
Oxford University Press 1992 Oxford logic guides 19
Available at 67 libraries
-
40
- Elementary categories, elementary toposes
-
Colin McLarty
Clarendon Press 1992 Oxford logic guides 21
Available at 22 libraries