Skolem, T. (1955). Mathematical interpretation of formal systems. North-Holland.
Παραπομπή σε μορφή Chicago (17η εκδ.)Skolem, Th. Mathematical Interpretation of Formal Systems. Amsterdam: North-Holland, 1955.
Παραπομπή σε μορφή MLA (8th εκδ.)Skolem, Th. Mathematical Interpretation of Formal Systems. North-Holland, 1955.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.