Hilbert, David Principles of mathematical logic - New York Chelsea Publishing Company 1950 - xii,172p. 24cm. Subjects--Topical Terms: Logic, symbolic and mathematical LC Class. No.: BC135.H514