by Paul B Thistlewaite
Paperback
ISBN: 978-0-470-21006-2
ISBN-10: 0-470-21006-0
Wiley · 1988
|
|
by Paul B ThistlewaitePaperback
ISBN: 978-0-470-21006-2 ISBN-10: 0-470-21006-0 Wiley · 1988 |
| See also: | ||
| 1988 | Paperback | Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science) |