Mathematical logic and formalized theories
Subtitle: a survey of basic concepts and results
By: Robert Rogers.
Publisher: North-Holland
Published: 1971
Place of publication: Amsterdam
Number of pages: 235
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography : p. 227-229.