Mechanizing Proof, Donald MacKenzie, år 2004

50 kr. 18. maj kl. 11.38