skip to main content
Langue :
Afficher les résultats avec :

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

résultats 1 2 next page
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Revue
Ajouter au Panier

The Journal of symbolic logic

Association for symbolic logic

Menasha, Wis.. Association for Symbolic Logic, 1936-

Disponible(->>)

2
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988
Material Type:
Livre
Ajouter au Panier

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988

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

Amsterdam. New-York. Oxford. Tokyo. North-Holland, 1989

Disponible(->>)

3
Collected works
Material Type:
Livre
Ajouter au Panier

Collected works

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.) ; Association for symbolic logic (Ed.)

New York. Oxford university press. London. Clarendon press, 1986-

Disponible(->>)

4
Collected works. Volume III. Unpublished essays and lectures
Material Type:
Livre
Ajouter au Panier

Collected works. Volume III. Unpublished essays and lectures

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.) ; Association for symbolic logic (Ed.)

New York. Oxford. Oxford University press, 1995

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

5
Collected works. Volume IV. Correspondence A-G
Material Type:
Livre
Ajouter au Panier

Collected works. Volume IV. Correspondence A-G

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.) ; Dawson, John William (Jr) (1944-) (Ed.) ; Association for symbolic logic (Ed.)

Oxford. Clarendon Press, 2003

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

6
Collected works. Volume V. Correspondence H-Z
Material Type:
Livre
Ajouter au Panier

Collected works. Volume V. Correspondence H-Z

Gödel, Kurt (1906-1978) ; Feferman, Solomon (1928-2016) (Ed.) ; Dawson, John William (Jr) (1944-) (Ed.) ; Association for symbolic logic (Ed.)

Oxford. Clarendon Press, 2003

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

7
Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I
Material Type:
Livre
Ajouter au Panier

Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983. Part I

Müller, Gert Heinz (mathématicien) (1923-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Association for symbolic logic (Ed.)

Appartient à la collection : Lecture notes in mathematics, 1103, ISSN 0075-8434

Berlin. New York [etc.]. Springer-Verlag, 1984

Disponible(->>)

8
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Material Type:
Livre
Ajouter au Panier

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Cooper, S. Barry (1943-2015) (Ed.) ; Truss, J. K (1947-...) (Ed.) ; Association for symbolic logic (Dir.)

Appartient à la collection : London Mathematical Society lecture note series, 258, ISSN 0076-0552

Cambridge. New York. Cambridge University Press, 1999

Disponible(->>)

9
Material Type:
Livre
Ajouter au Panier

Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Crossley, John Newsome (1937-...) (Ed.) ; Dummett, Michael Anthony Eardley (1925-2011) (Ed.) ; Association for symbolic logic (Ed.) ; Organisation du traité de l'Atlantique nord (Ed.)

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

Amsterdam. North-Holland, 1965

Disponible(->>)

10
Material Type:
Livre
Ajouter au Panier

The theory of models : proceedings of the 1963 International symposium at Berkeley

Addison, John West (Ed.) ; Henkin, Leon (1921-2006) (Ed.) ; Tarski, Alfred (1901-1983) (Ed.) ; University of California (Berkeley) (Ed.) ; Association for symbolic logic (Ed.)

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

Amsterdam. North-Holland, 1965

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

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

résultats 1 2 next page

Refine Search Results

N'afficher que

  1. Ressources en ligne (3)

Affiner vos résultats

Type de ressource 

  1. Livres  (12)
  2. ebooks  (3)
  3. Revues  (1)
  4. Autres open sub menu

Localisation 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1984  (3)
  2. 1984 à 1988  (2)
  3. 1989 à 1996  (3)
  4. 1997 à 2003  (5)
  5. Après 2003  (3)
  6. 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.