Cover of PX, a computational logic

An edition of PX, a computational logic (1988)

PX, a computational logic

By Susumu Hayashi

5.00 (1 Ratings)

1 Want to read0 Currently reading0 Have read

1 Want to read0 Currently reading0 Have read

Publish Date

1988

Publisher

MIT Press

Language

eng

Pages

200

Description:

subjects: Symbolic and mathematical Logic, Automatic theorem proving, Démonstration automatique, Logique symbolique et mathématique, Théorèmes, PX, Logic, symbolic and mathematical