Logica

DOI10.1007/978-88-470-3968-1MaRDI QIDQ4606868

Lorenzo Tortora de Falco, V. Michele Abrusci

Publication date: 9 March 2018

Published in: UNITEXT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-88-470-3968-1

Mathematics Subject Classification ID

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

03F40: Gödel numberings and issues of incompleteness

03Exx: Set theory