Title | Hilbert-style calculi for BPL and FPL |
Publication Type | Conference Paper |
Year of Publication | 2002 |
Authors | Bou F |
Conference Name | 1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002. |
Pagination | 20–30 |