TitleHilbert-style calculi for BPL and FPL
Publication TypeConference Paper
Year of Publication2002
AuthorsBou F
Conference Name1st North American Summer School in Logic, Language and Information. Student Session. Stanford 2002.
Pagination20–30