Cover of Logic for computer science

An edition of Logic for computer science (1985)

Logic for computer science

foundations of automatic theorem proving

By Jean H. Gallier

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1986

Publisher

Harper & Row,Longman Higher Education

Language

eng

Pages

511

Description:

subjects: Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical, MATHEMATICS / Logic