On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman

DOI10.1007/s00605-006-0423-7zbMath1103.03002OpenAlexW2114804254MaRDI QIDQ867145

Could not fetch data.

Publication date: 15 February 2007

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00605-006-0423-7

Mathematics Subject Classification ID

Could not fetch data.