Proofs, Search and Computation in General Logic
Publisher: Cambridge University Press
Language: eng
Format: Hardcover
ISBN-13: 9780521450577
Subjects: Computers / Programming / Software Development