GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS

From MaRDI portal
Publication:4984860

DOI10.1017/bsl.2020.22zbMath1462.03026OpenAlexW3034490412MaRDI QIDQ4984860

Saeed Salehi

Publication date: 21 April 2021

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2020.22






Cites Work