Mathematical logic and formalized theories
Subtitle: a survey of basic concepts and results.
Publisher: North-Holland Pub. Co.
Published: 1971
Place of publication: Amsterdam
Language: eng
Number of pages: 235
Subjects: Logic, Symbolic and mathematical.
Notes: Bibliography: p. 227-229.
Sole distributors for the U.S.A. and Canada: American Elsevier, New York.