著者
書誌事項
Oxford logic guides
Clarendon Press , Oxford University Press
- タイトル別名
-
OLG
この図書・雑誌をさがす
-
41
- Relative category theory and geometric morphisms : a logical approach
-
Jonathan Chapman and Frederick Rowbottom
Clarendon Press , Oxford University Press 1992 Oxford logic guides 16
所蔵館22館
-
42
- A study of logics
-
John P. Cleave
Clarendon Press , Oxford University Press 1991 Oxford logic guides 18
所蔵館30館
-
43
- Foundations without foundationalism : a case for second-order logic
-
Stewart Shapiro
Clarendon Press , Oxford University Press 1991 Oxford logic guides 17
: pbk
所蔵館34館
-
44
- Models of Peano arithmetic
-
Richard Kaye
Clarendon Press , Oxford University Press 1991 Oxford logic guides 15 , Oxford science publications
所蔵館35館
-
45
- Toposes and local set theories : an introduction
-
J.L. Bell
Clarendon Press , Oxford University Press 1988 Oxford logic guides 14
所蔵館27館
-
46
- Computability theory, semantics, and logic programming
-
Melvin Fitting
Oxford University Press , Clarendon Press 1987 Oxford logic guides 13
所蔵館54館
-
47
- 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
所蔵館21館
-
48
- Boolean-valued models and independence proofs in set theory
-
J.L. Bell
Clarendon Press 1985 2nd ed Oxford logic guides 12
所蔵館23館
-
49
- Subrecursion : functions and hierarchies
-
H.E. Rose
Clarendon Press , Oxford University Press 1984 Oxford logic guides 9
: U.S.
所蔵館33館
-
50
- Cantorian set theory and limitation of size
-
Michael Hallett
Clarendon Press 1984 Oxford logic guides 10
: pbk
所蔵館36館
-
51
- An introduction to stability theory
-
by Anand Pillay
Clarendon Press , Oxford University Press 1983 Oxford logic guides 8
所蔵館33館
-
52
- Classical propositional operators : an exercise in the foundations of logic
-
by Krister Segerberg
Clarendon Press , Oxford University Press 1982 Oxford logic guides 5
所蔵館22館
-
53
- The Boole-De Morgan correspondence, 1842-1864
-
[edited by] G.C. Smith
Clarendon Press , Oxford University Press 1982 Oxford logic guides
所蔵館17館
-
54
- Formal number theory and computability : a workbook
-
by Alec Fisher
Clarendon Press 1982 Oxford logic guides 7
: pbk
所蔵館25館
-
55
- Choice sequences : a chapter of intuitionistic mathematics
-
by A.S. Troelstra
Clarendon Press 1977 Oxford logic guides
所蔵館20館
-
56
- Beginning model theory : the completeness theorem and some consequences
-
by Jane Bridge
Clarendon Press 1977 Oxford logic guides
所蔵館23館
-
57
- Boolean-valued models and independence proofs in set theory
-
by J.L. Bell
Clarendon Press 1977 Oxford logic guides
所蔵館35館
-
58
- Elements of intuitionism
-
by Michael Dummett ; with the assistance of Roberto Minio
Clarendon Press 1977 Oxford logic guides 2
所蔵館40館