Semiautomatic Proof
Publisher: Penguin Random House
Published: 2004
Language: eng
ISBN-13: 9780224073301