A computational Logic Handbook/

Boyer Robert S., Moore J Strother Moore,

A computational Logic Handbook/ - Second Edition. - New York: Academic Press, 1998. - xxv,518p: ill.; 23.4cm.

Includes Bibliographical, Appendixes, References and Indexes

0121229556


Mathematics

511.3 BOY 1998