Labelled natural deduction

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
Volume
5
Year of publication
1999
Pages
173 - 250
Database
ISI
SICI code