> Verlagsreihe
-
53:
Simplicity theory Byunghan Kim
Oxford: Clarendon Press, 1977-
-
51:
Computability and randomness André Nies
Oxford: Clarendon Press, 1977-
-
52:
Category theory Steve Awodey
Oxford: Clarendon Press, 1977-
-
46:
Interpolation and definability modal and intuitionistic logic D. M. Gabbay; L. Maksimova
Oxford: Clarendon Press, 1977-
-
47:
Set theory Boolean-valued models and independence proofs John L. Bell
Oxford: Clarendon Press, 1977-
-
45:
Reductive logic and proof-search proof theory, semantics, and control David J. Pym and Eike Ritter
Oxford: Clarendon Press, 1977-
-
28:
Temporal logic 1 Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Oxford: Clarendon Press, 1977-
-
40:
Temporal logic 2 Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Oxford: Clarendon Press, 1977-
-
38:
Fibring logics Dov M. Gabbay
Oxford: Clarendon Press, 1977-
-
43:
Sketches of an elephant 1 Peter T. Johnstone
Oxford: Clarendon Press, 1977-
-
44:
Sketches of an elephant 2 Peter T. Johnstone
Oxford: Clarendon Press, 1977-
-
35:
Modal logic Alexander Chagrov and Michael Zakharyaschev
Oxford: Clarendon Press, 1977-
-
41:
Algebraic methods in philosophical logic J. Michael Dunn and Gary M. Hardegree
Oxford: Clarendon Press, 1977-
-
40:
Temporal logic 2 Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Oxford: Clarendon Press, 1977-
-
39:
Elements of intuitionism Michael Dummett
Oxford: Clarendon Press, 1977-
-
38:
Fibring logics Dov M. Gabbay
Oxford: Clarendon Press, 1977-
-
35:
Modal logic Alexander Chagrov and Michael Zakharyaschev
Oxford: Clarendon Press, 1977-
-
33:
Labelled deductive systems 1 Dov M. Gabbay
Oxford: Clarendon Press, 1977-
-
27:
Diagonalization and self-reference Raymond M. Smullyan
Oxford: Clarendon Press, 1977-
-
21:
Elementary categories, elementary toposes Colin McLarty
Oxford: Clarendon Press, 1977-
-
24:
Introduction to logic and to the methodology of the deductive sciences by Alfred Tarski
Oxford: Clarendon Press, 1977-
-
30:
Features and fluents 1 Erik Sandewall
Oxford: Clarendon Press, 1977-
-
28:
Temporal logic 1 Dov M. Gabbay; Ian Hodkinson and Mark Reynolds
Oxford: Clarendon Press, 1977-
-
25:
Many-valued logics Grzegorz Malinowski
Oxford: Clarendon Press, 1977-
-
22:
Recursion theory for metamathematics Raymond M. Smullyan
Oxford: Clarendon Press, 1977-
-
20:
Set theory with a universal set exploring an untyped universe T. E. Forster
Oxford: Clarendon Press, 1977-
-
19:
Gödel's incompleteness theorems Raymond M. Smullyan
Oxford: Clarendon Press, 1977-
-
15:
Models of Peano arithmetic Richard Kaye
Oxford: Clarendon Press, 1977-
-
17:
Foundations without foundationalism a case for second-order logic Stewart Shapiro
Oxford: Clarendon Press, 1977-
-
9:
Subrecursion functions and hierarchies H. E. Rose
Oxford: Clarendon Press, 1977-