Proof and Disproof in Formal Logic
Subtitle: an Introduction for Programmers
Publisher: Oxford University Press
Published: 2005
Language: eng
ISBN-13: 9781280759000