@ARTICLE{Basin97c,
AUTHOR = {Basin, David A. and Matthews, Se{\'a}n and Vigan{\`o}, Luca},
TITLE = {Natural Deduction for Non-Classical Logics},
JOURNAL = {Studia Logica},
PUBLISHER = {Kluwer},
YEAR = {1998},
NUMBER = {1},
VOLUME = {60},
PAGES = {119--160},
ISBN = {0039-3215},
}
Entry last modified by Anja Becker, 11/29/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Luca Viganò | Created
04/25/1997 04:21:53 PM |
Revisions
9.
8.
7.
6.
5. | Editor(s)
Anja Becker
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm | Edit Dates
29.11.2010 14:17:03
30/03/2000 14:51:27
07.04.99 16:37:25
30.03.99 22:02:16
30.03.99 20:52:50 |