An informal exposition of proofs of Gödel's theorems and Church's theorem.

DOI10.2307/2269059zbMath65.0027.04OpenAlexW1971872113WikidataQ55886422 ScholiaQ55886422MaRDI QIDQ2590254

No author found.

Publication date: 1939

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

Full work available at URL: https://doi.org/10.2307/2269059

This page was built for publication: An informal exposition of proofs of Gödel's theorems and Church's theorem.