Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)

by Richard Bornat Paperback details (UK). ISBN: 978-0-19-853027-5 ISBN-10: 0-19-853027-7 Oxford University Press · 2005