Author(s)
Bibliographic Information
Oxford logic guides
Clarendon Press , Oxford University Press
- Other Title
-
OLG
Search this Book/Journal
-
41
- Set theory with a universal set : exploring an untyped universe
-
T.E. Forster
Clarendon Press , Oxford University Press 1992 Oxford logic guides 20 , Oxford science publications
Available at 22 libraries
-
42
- Relative category theory and geometric morphisms : a logical approach
-
Jonathan Chapman and Frederick Rowbottom
Clarendon Press , Oxford University Press 1992 Oxford logic guides 16
Available at 22 libraries
-
43
- A study of logics
-
John P. Cleave
Clarendon Press , Oxford University Press 1991 Oxford logic guides 18
Available at 30 libraries
-
44
- Foundations without foundationalism : a case for second-order logic
-
Stewart Shapiro
Clarendon Press , Oxford University Press 1991 Oxford logic guides 17
: pbk
Available at 33 libraries
-
45
- Models of Peano arithmetic
-
Richard Kaye
Clarendon Press , Oxford University Press 1991 Oxford logic guides 15 , Oxford science publications
Available at 35 libraries
-
46
- Toposes and local set theories : an introduction
-
J.L. Bell
Clarendon Press , Oxford University Press 1988 Oxford logic guides 14
Available at 27 libraries
-
47
- Computability theory, semantics, and logic programming
-
Melvin Fitting
Oxford University Press , Clarendon Press 1987 Oxford logic guides 13
Available at 54 libraries
-
48
- Recursive aspects of descriptive set theory
-
Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson
Oxford University Press , Clarendon Press 1985 Oxford logic guides 11
Available at 21 libraries
-
49
- Boolean-valued models and independence proofs in set theory
-
J.L. Bell
Clarendon Press 1985 2nd ed Oxford logic guides 12
Available at 23 libraries
-
50
- Subrecursion : functions and hierarchies
-
H.E. Rose
Clarendon Press , Oxford University Press 1984 Oxford logic guides 9
: U.S.
Available at 33 libraries
-
51
- Cantorian set theory and limitation of size
-
Michael Hallett
Clarendon Press 1984 Oxford logic guides 10
: pbk
Available at 36 libraries
-
52
- An introduction to stability theory
-
by Anand Pillay
Clarendon Press , Oxford University Press 1983 Oxford logic guides 8
Available at 33 libraries
-
53
- Classical propositional operators : an exercise in the foundations of logic
-
by Krister Segerberg
Clarendon Press , Oxford University Press 1982 Oxford logic guides 5
Available at 22 libraries
-
54
- The Boole-De Morgan correspondence, 1842-1864
-
[edited by] G.C. Smith
Clarendon Press , Oxford University Press 1982 Oxford logic guides
Available at 17 libraries
-
55
- Formal number theory and computability : a workbook
-
by Alec Fisher
Clarendon Press 1982 Oxford logic guides 7
: pbk
Available at 25 libraries
-
56
- Choice sequences : a chapter of intuitionistic mathematics
-
by A.S. Troelstra
Clarendon Press 1977 Oxford logic guides
Available at 20 libraries
-
57
- Beginning model theory : the completeness theorem and some consequences
-
by Jane Bridge
Clarendon Press 1977 Oxford logic guides
Available at 23 libraries
-
58
- Boolean-valued models and independence proofs in set theory
-
by J.L. Bell
Clarendon Press 1977 Oxford logic guides
Available at 34 libraries
-
59
- Elements of intuitionism
-
by Michael Dummett ; with the assistance of Roberto Minio
Clarendon Press 1977 Oxford logic guides 2
Available at 39 libraries
