Caros colegas:
Alguem tem acesso, ou sabe como obter rapidamente o artigo abaixo.da AMM?
On Unsettleable Arithmetical Problems
John H. Conway. The American Mathematical Monthly Vol. 120, No. 3, March
2013
As bibliotecas da UNICAMP só vão receber este número daqui a 3 meses,
e a compra direta
Message: 1
Date: Mon, 01 Apr 2013 00:03:06 +0200
From: Lars Hupel hu...@in.tum.de
Subject: [isabelle] Announcement: Isabelle/HOLF
To: cl-isabelle-us...@lists.cam.ac.uk
Message-ID: kjabqm$3vl$1...@ger.gmane.org
Content-Type: text/plain; charset=ISO-8859-15
Dear list,
in 2011, Amarilli (at the