skip to main content
Langue :
Afficher les résultats avec :
Filtré par : Fonds: Informatique enseignement supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
New directions in the philosophy of mathematics : an anthology
Material Type:
Livre
Ajouter au Panier

New directions in the philosophy of mathematics : an anthology

Tymoczko, Thomas (Ed.)

Princeton (N.J.). Princeton university press, cop. 1998

Disponible(->>)

2
The principles of mathematics revisited
Material Type:
Livre
Ajouter au Panier

The principles of mathematics revisited

Hintikka, Jaakko (1929-2015)

Cambridge. Cambridge University Press, 1996

Disponible(->>)

3
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Material Type:
Livre
Ajouter au Panier

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité

Dowek, Gilles (1966-...)

Appartient à la collection : Informatique (Palaiseau)

Palaiseau. Les Editions de l'Ecole polytechnique, DL 2010

Disponible(->>)

4
From Kant to Hilbert : a source book in the foundations of mathematics
Material Type:
Livre
Ajouter au Panier

From Kant to Hilbert : a source book in the foundations of mathematics

Ewald, William (1954-...)

Oxford. Clarendon Press. New York. Oxford University Press, 1999, cop. 1996

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

5
Le point aveugle : cours de logique. Tome 2. Vers l'imperfection
Material Type:
Livre
Ajouter au Panier

Le point aveugle : cours de logique. Tome 2. Vers l'imperfection

Girard, Jean-Yves (1947-...)

Appartient à la collection : Visions des sciences, ISSN 1953-2423

Paris. Hermann, impr. 2007, cop. 2007

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

6
Le point aveugle : cours de logique. Tome 1. Vers la perfection
Material Type:
Livre
Ajouter au Panier

Le point aveugle : cours de logique. Tome 1. Vers la perfection

Girard, Jean-Yves (1947-...)

Appartient à la collection : Visions des sciences, ISSN 1953-2423

Paris. Hermann, DL 2006, cop. 2006

Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)

7
Logique mathématique
Material Type:
Livre
Ajouter au Panier

Logique mathématique

Kleene, Stephen Cole (1909-1994) ; Largeault, Jean (1931?-1995) (Trad.)

Paris. J. Gabay, impr. 1987, cop. 1987

Disponible(->>)

8
N is a number : a portrait of Paul Erdős a documentary film
Material Type:
Vidéo
Ajouter au Panier

N is a number : a portrait of Paul Erdős a documentary film

Csicsery, George Paul (1948-) ; Erdős, Pál (1913-1996) (Particip.)

Appartient à la collection : Springer VideoMATH, ISSN 1613-1053

Berlin. Springer-Verlag, cop. 2005

Disponible(->>)

9
On Brouwer
Material Type:
Livre
Ajouter au Panier

On Brouwer

Atten, Markus van

Appartient à la collection : Wadsworth philosophers series

[Belmont, Calif.]. Wadsworth, cop. 2004

Disponible(->>)

Refine Search Results

Affiner vos résultats

Type de ressource 

  1. Livres  (8)
  2. Audiovisuel  (1)
  3. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1996  (1)
  2. 1996 à 1997  (1)
  3. 1998 à 1998  (1)
  4. 1999 à 2004  (2)
  5. Après 2004  (4)
  6. Autres open sub menu

Langue 

  1. Anglais  (5)
  2. Français  (4)
  3. Autres open sub menu

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.