Your search returned 7 results.

Sort
Results
1.
Une histoire de l'imaginaire mathématique: vers le théoreme fondamental de l'algèbre et sa demonstration par Laplace en 1795/ Carlos Alvarez & Jean Dhombres. by
  • Alvarez Jimenez, Carlos
  • Dhombres, Jean G, 1942-
Publication details: Paris: Hermann, c2011
Availability: Items available for loan: Castorina (1)Call number: 510.9 A473h 2011 IMPA.

2.
Une histoire de l'imaginaire mathématique: vers le théorème fondamental de l'algèbre et sa demonstration par Laplace en 1795/ Carlos Alvarez & Jean Dhombres. by
  • Alvarez Jimenez, Carlos
  • Dhombres, Jean G, 1942-
Publication details: Paris: Hermann, 2011
Availability: Items available for loan: Castorina (1)Call number: 510.9 A473h 2011 IMPA.

3.
The incompleteness theorems/ Henk Barendregt. by
  • Barendregt, H. P. (Hendrik Pieter)
Series: Communications of the Mathematical Institute ; 4..
Publication details: Utrecht: Rijksuniversiteit Utrecht, 1976
Availability: Items available for loan: Castorina (1)Call number: 511.3 B248i 1976 IMPA.

4.
Formal number theory and computability: a workbook/ by Alec Fisher. by
  • Fisher, Alec
Series: Oxford logic guides ; 7 | Oxford science publications
Publication details: Oxford: Clarendon Press, 1982
Availability: Items available for loan: Castorina (2)Call number: 511.3 F533f 1982 IMPA, ...

5.
Gödel's theorem: an incomplete guide to its use and abuse/ Torkel Franzén. by
  • Franzén, Torkel
Publication details: Wellesley, Mass.: A K Peters, c2005
Availability: Items available for loan: Castorina (1)Call number: 511.3 F837g 2005 IMPA.

6.
The incompleteness phenomenon: a new course in mathematical logic/ Martin Goldstern, Haim Judah. by
  • Goldstern, Martin
  • Judah, H. (Haim)
Publication details: Wellesley, Mass.: A K Peters, c1995
Availability: Items available for loan: Castorina (1)Call number: 511.3 G624i 1995 IMPA.

7.
Mechanism, mentalism, and metamathematics: an essay on finitism/ Judson Chambers Webb. by
  • Webb, Judson Chambers, 1936-
Series: Synthese library ; v. 137.
Publication details: Dordrecht ; Boston: D. Reidel, c1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 W365m 1980 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha