Deduction: Automated Logic

by Wolfgang Bibel

Hardcover

details (USA).

ISBN: 978-0-12-095835-1

ISBN-10: 0-12-095835-X

Academic Press · 1993