Skolem, Th.; Hasenjaeger, G.; Kreisel, Georg; Robinson, A.; Wang, Hao; Henkin, L.; Łoś, Jerzy Mathematical interpretation of formal systems. (English) Zbl 0066.00902 (Studies in Logic and the Foundation of Mathematics.) Amsterdam: North- Holland Publishing Company VIII, 113 p. (1955). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 Documents Keywords:philosophy and foundations of mathematics PDFBibTeX XML