A course in mathematical logic/
Bell, J. L.
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.
511.3 / B433c
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.
511.3 / B433c