A course in mathematical logic/
by J. L. Bell and M. Machover.
- Amsterdam ; New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1977.
- xviii, 599 p. ; 23 cm.
Includes indexes.
Bibliography: p. [576]-583.
0720428440
75033890 //r952
Logic, Symbolic and mathematical. Logica Matematica.