Philosophical and mathematical logic

DOI10.1007/978-3-030-03255-5zbMath1446.03001OpenAlexW2903280202MaRDI 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 logicpropositional logiclanguagelogicpredicate logicphilosophymathematicstheoretical computer science

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) General logic (03Bxx)

Related Items (3)

How to choose a president, mayor, chair: Balinski and Laraki unpacked ⋮ On certain axiomatizations of arithmetic of natural and integer numbers ⋮ A brief history of social choice and welfare theory

This page was built for publication: Philosophical and mathematical logic