Author Statement :
by J. L. Bell and M. Machover
Publication :
North-Holland Pub. Co. ; New York : sole distributors for the U.S.A. and Canada American Elsevier Pub. Co
Collation :
xviii, 599 p.; 23 cm
Subject :
Logic, Symbolic and mathematical
ADDED ENTRIES :
Machover, Moshعe, joint author
Holding Info. :
0720428440,0720428440
Biblography :
Bibliography: p. [576]-583
