Author(s)
Bibliographic Information
Studies in logic and computation
Clarendon Press , Oxford University Press
Search this Book/Journal
Note
Published: Baldock, Hertfordshire : Research Studies Press, No. 7-
Related Books： 1-10 of 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
Available at 1 libraries
-
2
- A treatise on many-valued logics
-
Siegfried Gottwald
Research Studies Press c2001 Studies in logic and computation 9
Available at 16 libraries
-
3
- Frontiers of paraconsistent logic
-
edited by Diderik Batens ... [et al.]
Research Studies Press c2000 Studies in logic and computation 8
Available at 14 libraries
-
4
- Frontiers of combining systems
-
edited by Dov M. Gabbay, Maarten de Rijke
Research Studies Press c2000 Studies in logic and computation 7
2
Available at 5 libraries
-
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
Available at 22 libraries
-
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
Available at 17 libraries
-
7
- What is a logical system?
-
edited by D.M. Gabbay
Clarendon Press , Oxford University Press 1994 Studies in logic and computation 4
Available at 35 libraries
-
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
Available at 11 libraries
-
9
- Substructural logics
-
edited by Peter Schroeder-Heister and Kosta Došen
Clarendon Press , Oxford University Press 1993 Studies in logic and computation 2
Available at 21 libraries
-
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
Available at 13 libraries