Hilbert, D. Principles of mathematical logic / by D. Hilbert and W. Ackermann. - Philadelphia : Saunders College, c1990. - xvi, 417 p. : ill. - Saunders series . Includes index. LCCN: 93024058 Subjects--Topical Terms: Logic, Symbolic and mathematical.