Publication:3463667

From MaRDI portal

Revision as of 21:46, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

zbMath1362.03001MaRDI QIDQ3463667

Gilles Dowek

Publication date: 19 January 2016

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3463667&oldid=16789939"