著者
書誌事項
Studies in logic and computation
Clarendon Press , Oxford University Press
この図書・雑誌をさがす
注記
Published: Baldock, Hertfordshire : Research Studies Press, No. 7-
関連文献： 10件中 1-10を表示
-
1
- Compiled labelled deductive systems : a uniform presentation of non-classical logics
-
Krysia Broda ... [et al.]
Research Studies Press , Institute of Physics Pub. , Distribution in North America, AIDC c2004 Studies in logic and computation 10
所蔵館1館
-
2
- A treatise on many-valued logics
-
Siegfried Gottwald
Research Studies Press c2001 Studies in logic and computation 9
所蔵館16館
-
3
- Frontiers of paraconsistent logic
-
edited by Diderik Batens ... [et al.]
Research Studies Press c2000 Studies in logic and computation 8
所蔵館14館
-
4
- Frontiers of combining systems
-
edited by Dov M. Gabbay, Maarten de Rijke
Research Studies Press c2000 Studies in logic and computation 7
2
所蔵館5館
-
5
- Logical reasoning with diagrams
-
edited by Gerard Allwein and Jon Barwise ; with contributions by Gerard Allwein ... [et al.]
Oxford University Press 1996 Studies in logic and computation
所蔵館21館
-
6
- Conditionals : from philosophy to computer science
-
edited by G. Crocco, L. Fariñas del Cerro, and A. Herzig
Clarendon Press 1995 Studies in logic and computation 5
所蔵館17館
-
7
- What is a logical system?
-
edited by D.M. Gabbay
Clarendon Press , Oxford University Press 1994 Studies in logic and computation 4
所蔵館33館
-
8
- Nonstandard queries and nonstandard answers
-
edited by R. Demolombe and T. Imielinski
Clarendon Press , Oxford University Press 1994 Studies in logic and computation 3 , Oxford science publications
: hbk
所蔵館11館
-
9
- Substructural logics
-
edited by Peter Schroeder-Heister and Kosta Došen
Clarendon Press , Oxford University Press 1993 Studies in logic and computation 2
所蔵館20館
-
10
- Intensional logics for programming
-
edited by Luis Fariñas del Cerro and Martti Penttonen
Clarendon Press , Oxford University Press 1992 Studies in logic and computation 1
所蔵館12館