Labelled natural deduction

Authors
De Queiroz, RJGB Gabbay, DM
Citation
Rjgb. De Queiroz et Dm. Gabbay, Labelled natural deduction, TR LOG STUD, 5, 1999, pp. 173-250
Categorie Soggetti
Current Book Contents","Current Book Contents
Journal title
LOGIC, LANGUAGE AND REASONING → ACNP
Volume
5
Year of publication
1999
Pages
173 - 250
Database
ISI
SICI code