Home
» Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang

# Symbolic Logic and Mechanical Theorem Proving

## Chin-Liang Chang

Published June 11th 1973

ISBN : 9781493300242

Paperback

331 pages

About the Book | |||

| |||