著者
書誌事項
Oxford logic guides
Clarendon Press , Oxford University Press
- タイトル別名
-
OLG
この図書・雑誌をさがす
-
21
- Fibring logics
-
Dov M. Gabbay
Clarendon Press c1999 Oxford logic guides 38
: hbk
所蔵館20館
-
22
- 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
所蔵館17館
-
23
- Modal logic
-
Alexander Chagrov and Michael Zakharyaschev
Clarendon Press , Oxford University Press 1997 Oxford logic guides 35
所蔵館52館
-
24
- Set theory and the continuum problem
-
Raymond M. Smullyan and Melvin Fitting
Clarendon Press , Oxford University Press 1996 Oxford logic guides 34
所蔵館30館
-
25
- Geometric stability theory
-
Anand Pillay
Clarendon Press , Oxford University Press 1996 Oxford logic guides 32
所蔵館26館
-
26
- Labelled deductive systems
-
Dov M. Gabbay
Oxford University Press , Clarendon 1996- Oxford logic guides 33
v. 1
所蔵館28館
-
27
- 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
所蔵館18館
-
28
- Elementary categories, elementary toposes
-
Colin McLarty
Clarendon Press , Oxford University Press 1995, c1992 Oxford logic guides 21 , Oxford science publications
: pbk
所蔵館25館
-
29
- Features and fluents : representation of knowledge about dynamical systems
-
Erik Sandewall
Clarendon Press , Oxford University Press 1994- Oxford logic guides 30
v. 1
所蔵館20館
-
30
- Cardinal arithmetic
-
Saharon Shelah
Clarendon Press , Oxford University Press 1994 Oxford logic guides 29
所蔵館28館
-
31
- Groups of finite Morley rank
-
Alexandre Borovik and Ali Nesin
Clarendon Press , Oxford University Press 1994 Oxford logic guides 26
所蔵館20館
-
32
- Diagonalization and self-reference
-
Raymond M. Smullyan
Clarendon Press 1994 Oxford logic guides 27
所蔵館32館
-
33
- 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
所蔵館53館
-
34
- 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
所蔵館31館
-
35
- Many-valued logics
-
Grzegorz Malinowski
Clarendon Press , Oxford University Press 1993 Oxford logic guides 25
所蔵館24館
-
36
- Arithmetic, proof theory, and computational complexity
-
edited by Peter Clote and Jan Krajíček
Clarendon Press 1993 Oxford logic guides 23
所蔵館41館
-
37
- Recursion theory for metamathematics
-
Raymond M. Smullyan
Oxford University Press 1993 Oxford logic guides 22
所蔵館42館
-
38
- Gödel's incompleteness theorems
-
Raymond M. Smullyan
Oxford University Press 1992 Oxford logic guides 19
所蔵館67館
-
39
- Elementary categories, elementary toposes
-
Colin McLarty
Clarendon Press 1992 Oxford logic guides 21
所蔵館22館
-
40
- 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
所蔵館22館