THE DIAGONAL METHOD IN FORMALIZED ARITHMETIC

From MaRDI portal

Publication:5819448

Jump to:navigation, search

DOI10.1093/BJPS/III.12.364zbMath0051.00604MaRDI QIDQ5819448

Georg Kreisel

Publication date: 1953

Published in: The British Journal for the Philosophy of Science (Search for Journal in Brave)

zbMATH Keywords

philosophy and foundations of mathematics

This page was built for publication: THE DIAGONAL METHOD IN FORMALIZED ARITHMETIC

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5819448&oldid=30643108"