Automated Theorem-Proving in Non-Classical Logics
Publisher: Pitman
Published: 1988-01-01
ISBN-13: 9780273087816