Proofs and models in philosophical logic

Zotero