Publication:4610460
From MaRDI portal
zbMath1404.03001MaRDI QIDQ4610460
Publication date: 22 January 2019
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B10: Classical first-order logic
03B05: Classical propositional logic
Related Items