Pure extensions, proof rules, and hybrid axiomatics (0)

by P Blackburn, B ten Cate
Venue:Stud. Log