The Logic Journal of IGPL

TitleProof systems for BAT consequence relations
Publication TypeJournal Article
AuthorsPawlowski, P