A course in mathematical logic
By: by J. L. Bell and M. Machover.
Contributors: Machover, Moshé, joint author.
Publisher: North-Holland Pub. Co.; sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.
Published: 1977
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 599
Subjects: Logic, Symbolic and mathematical
Notes: Bibliography: p. [576]-583.
Includes indexes.