skip to main content
Langue :
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters

Résultats 1 - 10 sur 13  pour Tout le catalogue

résultats 1 2 next page
Filtré par : Discipline: Informatique 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
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(->>)

4
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(->>)

5
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(->>)

6
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(->>)

7
From Frege to Gödel : a source book in mathematical logic, 1879-1931
Material Type:
Livre
Ajouter au Panier

From Frege to Gödel : a source book in mathematical logic, 1879-1931

Van Heijenoort, Jean (1912-1986)

Appartient à la collection : Source books in the history of the sciences, ISSN 1556-9063

Cambridge. Harvard University press, 1967

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

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
Introduction to logic and to the methodology of the deductive sciences
Material Type:
Livre
Ajouter au Panier

Introduction to logic and to the methodology of the deductive sciences

Tarski, Alfred (1901-1983) ; Tarski, Jan (Ed.)

Appartient à la collection : Oxford logic guides, 24, ISSN 0953-1173

Oxford. Oxford university press, 1994

Disponible(->>)

10
Foundations of set theory
Material Type:
Livre
Ajouter au Panier

Foundations of set theory

Fraenkel, Abraham Adolf (1891-1965) ; Bar-Hillel, Yehoshua (1915-1975) ; Levy, Azriel ; Dalen, Dirk van (1932-...) (Collab.)

Appartient à la collection : Studies in logic and the foundations of mathematics, 67, ISSN 0049-237X

Amsterdam. London. North-Holland, 1973, cop. 1973

Disponible(->>)

Résultats 1 - 10 sur 13  pour Tout le catalogue

résultats 1 2 next page

Refine Search Results

Affiner vos résultats

Type de ressource 

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

Localisation 

  1. Descartes  (4)
  2. Descartes - CDR  (1)
  3. Autres open sub menu

Date de parution 

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

Langue 

  1. Anglais  (9)
  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.