The completeness of formal systems. Thesis in candidacy for the degree of doctor of philosophy (1947)

by L Henkin