Rogers, Robert. Mathematical Logic and Formalized Theories :Survey of Basic Concepts and Results / - New York : American Elesevier Publishing Company, Inc , 1981 - xi, 235p ; ISBN: 0 444 10083 0 Subjects--Topical Terms: Mathematics Dewey Class. No.: B0bR1`N77 / L1