Rogers, Robert, Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. - Amsterdam : North-Holland Pub., 1971. - xi, 235 p. ; ISBN: 0720420512 (north-holland) Subjects--Topical Terms: Logic, Symbolic and mathematical. Dewey Class. No.: 511.3 / Ma