Kreisel, Georg On the concepts of completeness and interpretation of formal systems. (English) Zbl 0050.00601 Fundam. Math. 39, 103-127 (1953). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 7 Documents Keywords:philosophy and foundations of mathematics PDFBibTeX XMLCite \textit{G. Kreisel}, Fundam. Math. 39, 103--127 (1953; Zbl 0050.00601) Full Text: DOI EuDML