Publication:3463667

Publication date: 19 January 2016

03A05: Philosophical and critical aspects of logic and foundations

03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations

03B10: Classical first-order logic

03B05: Classical propositional logic