RecordNumber
5964
LC Class
QA
LC Number
9
LC CutterNumber
.B3953
Dewey Class
511
Dewey Date
/.3
Author
Bell, John Lane
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
Publication Year
1977
Collation
xviii, 599 p.; 23 cm
Subject
Logic, Symbolic and mathematical
ADDED ENTRIES
Machover, Moshعe, joint author
Holding Info.
0720428440,0720428440
Original By
76/06
DocumentNumber
23953
Index
Includes indexes
Biblography
Bibliography: p. [576]-583
BL
BL