Labelled deductive systems: a position paper

Open Access

VOL. 2 | 1993 Labelled deductive systems: a position paper

D. M. Gabbay

Editor(s) J. Oikkonen, J. Väänänen

Lecture Notes Logic, 1993: 66-68 (1993)

First Page PDF

CHAPTER
3 PAGES

DOWNLOAD PDF + SAVE TO MY LIBRARY

< Previous Chapter

|

Next Chapter >

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Vol. 2 • 1 January 1993

Association for Symbolic Logic