Proofs, Search and Computation in General Logic

by David J. Pym

Hardcover

details (UK).

ISBN: 978-0-521-45057-7

ISBN-10: 0-521-45057-8

Cambridge University Press · 2004