Journal of Applied Logic

TitleAn adaptive logic for relevant classical deduction
Publication TypeJournal Article
AuthorsLycke, H