Number theory and Mathematical Logic : Formal Proof
Subtitle: Formal Proof
Publisher: Open University Worldwide
Published: 2004-01-01
ISBN-13: 9780749257545