An edition of Symbolic logic and mechanical theorem proving (1973)
Symbolic logic and mechanical theorem proving
By Chin-Liang Chang
0 (0 Ratings)
3 Want to read0 Currently reading0 Have read
3 Want to read0 Currently reading0 Have read
Publish Date
1973
Publisher
Academic Press
Language
eng
Pages
331
Book Lists