Philosophical and mathematical logic

DOI10.1007/978-3-030-03255-5zbMath1446.03001MaRDI QIDQ1622790

Y. Aharonov

Publication date: 19 November 2018

Published in: Springer Undergraduate Texts in Philosophy (Search for Journal in Brave)

Full work available at URL: https://zenodo.org/record/4457451

zbMATH Keywords

modal logic; propositional logic; language; logic; predicate logic; philosophy; mathematics; theoretical computer science

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

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

03F30: First-order arithmetic and fragments

03F40: Gödel numberings and issues of incompleteness

03Bxx: General logic