Arthur C.Clarke - The Last Theorem, Folio Society, geb. Ausgabe in Schuber, neu

S.Singh -Fermat's last Theorem, Folio Society, gebundene Ausgabe in Schuber, neu

First-Order Logic and Automated Theorem Proving (Monographs in Computer Science)

S250 Introduction to the course and TOPIC 1 BSE/vCJD,Richard Hol

Arthur C Clarke Fred Pohl Brian Aldiss ~ THE LAST THEOREM UK Signed Limited

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Fermat's Last Theorem - Takeshi Saito: Basic Tools + The Proof

Naughty Or Nice?: Forbidden Until Midnight / Husband for the Hol