Title: Classical and nonclassical logics
First published: 2005
LC classification: QA76