Your search returned 16 results.

Sort
Results
1.
Seminars in mathematics: Studies in constructive mathematics and mathematical logic/ Edited by A. O. Slisenko. by
  • Slisenko, A. O [ed]
Series: Seminars in mathematics ; v. 4, 8, 16.
Language: English Original language: Russian
Publication details: New York: Consultants Bureau, 1969-
Availability: Items available for loan: Castorina (3).

2.
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.

3.
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.

4.
Foundations of constructive mathematics: metamathematical studies/ Michael J. Beeson. by
  • Beeson, Michael J, 1945-
Series: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6
Publication details: Berlin ; New York: Springer-Verlag, c1985
Availability: Items available for loan: Castorina (1)Call number: 511.3 B415f 1985 IMPA.

5.
Constructive measure theory/ by Errett Bishop and Henry Cheng. by
  • Bishop, Errett, 1928-1983
  • Cheng, Henry [joint author.]
Series: Memoirs of the American Mathematical Society ; no. 116.
Publication details: [Providence, RI]: American Mathematical Society, 1972]
Availability: Items available for loan: Castorina (1).

6.
Varieties of constructive mathematics/ Douglas Bridges, Fred Richman. by
  • Bridges, D. S. (Douglas S.), 1945-
  • Richman, Fred, 1938-
Series: London Mathematical Society lecture note series ; 97.
Publication details: Cambridge, UK New York: Cambridge University Press, 1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 B851v 1987 IMPA.

7.
Constructive functional analysis/ D. S. Bridges. by
  • Bridges, D. S. (Douglas S.), 1945-
Series: Pitman Research Notes in Mathematics Series ; 28.
Publication details: London: San Francisco: Pitman, 1979
Availability: Items available for loan: Castorina (1)Call number: 515.7 B851c 1979 IMPA.

8.
Constructibility and mathematical existence/ Charles S. Chihara. by
  • Chihara, Charles S, 1932-
Publication details: Oxford: New York: Clarendon Press, Oxford University Press, 1990
Availability: Items available for loan: Castorina (1)Call number: 511.3 C534c 1990 IMPA.

9.
Essays in constructive mathematics/ Harold M. Edwards. by
  • Edwards, Harold M
Publication details: New York: Springer, c2005
Availability: Items available for loan: Castorina (1)Call number: 511.3 E26e 2005 IMPA.

10.
Minimal degrees of unsolvability and the full approximation construction/ Richard L. Epstein. by
  • Epstein, Richard L, 1947-
Series: Memoirs of the American Mathematical Society ; no. 162.
Publication details: Providence, R.I.: American Mathematical Society, 1975
Availability: Items available for loan: Castorina (1).

11.
Variabilité locale constructive/ Marc Jambon. by
  • Jambon, Marc
Series: Cahiers mathématiques Montpellier ; 4-8.
Publication details: Montpellier: Université des Sciences et Techniques du Lanquedoc, U.E.R. de Mathématiques, 1975
Availability: Items available for loan: Castorina (1).

12.
Lectures on constructive mathematical analysis/ by B.A. Kushner ; translated from the Russian by E. Mendelson ; translation edited by Lev. J. Leifman. by
  • Kushner, B. A. (Boris Abramovich)
  • Leifman, L. IA (Lev IAkovlevich)
Series: Translations of mathematical monographs ; v. 60.
Language: engrus
Publication details: Providence, R.I.: American Mathematical Society, c1984
Availability: Items available for loan: Castorina (1)Call number: 515 K97l 1980 IMPA.

13.
Constructive continuity/ Mark Mandelkern. by
  • Mandelkern, Mark, 1933-
Series: Memoirs of the American Mathematical Society ; no. 277.
Publication details: Providence, R.I.: American Mathematical Society, c1983
Availability: Items available for loan: Castorina (1).

14.
Predicative arithmetic/ by Edward Nelson. by
  • Nelson, Edward, 1932-
Series: Mathematical notes (Princeton University Press) ; 32.
Publication details: Princeton, N.J.: Princeton University Press, 1986
Availability: Items available for loan: Castorina (1)Call number: 511.3 N424p 1986 IMPA.

15.
Zufälligkeit und Wahrscheinlichkeit: eine algorithmische Begründung der Wahrscheinlichkeitstheorie. by
  • Schnorr, Claus Peter
Series: Lecture notes in mathematics (Springer-Verlag) ; 218.
Publication details: Berlin; New York: Springer, 1971
Availability: Items available for loan: Castorina (1).

16.
Constructivism in mathematics: an introduction/ A.S. Troelstra, D. van Dalen. by
  • Troelstra, A. S. (Anne Sjerp)
  • Dalen, D. van (Dirk), 1932-
Series: Studies in logic and the foundations of mathematics ; v. 121.
Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1988
Availability: Items available for loan: Castorina (1)Call number: 511.3 T843c 1988 IMPA.

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


Powered by Koha