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

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

résultats 1 2 next page
Filtré par : Publisher: Clarendon Press supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter au Panier

Polish Logic, 1920-1939

Ajdukiewicz, Kazimierz (1890-1963) ; Chwistek, Leon (1884-1944) ; Jaśkowski, Stanisław ; Kotarbiński, Tadeusz (1886-1981) (Préf.) ; McCall, Storrs (Ed.) ; Gruchman, Bohdan (Trad.) ; Hiz, Henry (1917-2006) (Trad.) ; Jordan, Zbigniew A (Trad.)

Oxford. Clarendon Press, 1967

Disponible(->>)

2
Handbook of logic in computer science. volume 5. Logic and algebraic methods
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. volume 5. Logic and algebraic methods

Abramsky, Samson (1953-...) (Ed.) ; Gabbay, Dov M (1945-...) (Ed.) ; Maibum, Thomas S. E (1947-...) (Ed.)

Oxford. Clarendon Press, 2000

Disponible(->>)

3
Foundations without foundationalism : a case for second-order logic
Material Type:
Livre
Ajouter au Panier

Foundations without foundationalism : a case for second-order logic

Shapiro, Stewart (1951-...)

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

Oxford. New York. Clarendon Press, 1991, cop. 1991

Disponible(->>)

4
Handbook of logic in computer science. 4. Semantic modelling
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. 4. Semantic modelling

Abramsky, Samson (Dir.) ; Gabbay, Dov. M (Ed.) ; Maibaum, T.S.E

Clarendon Press, 1995

Disponible(->>)

5
Handbook of logic in computer science. Volume 1. Background, mathematical structures
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. Volume 1. Background, mathematical structures

Abramsky, Samson (1953-...) (Ed.) ; Gabbay, Dov M (1945-...) () ; Maibaum, Thomas S. E (1947-...) (Ed.)

Appartient à la collection : Oxford science publications

Oxford. Clarendon press, 1992, cop. 1992

Disponible(->>)

6
Material Type:
Livre
Ajouter au Panier

Time and modality : being the John Locke lectures for 1955-6 delivered in the University of Oxford

Prior, Arthur Norman (1914-1969) ; Ridler, Vivian (1913-2009) ()

Oxford. London. Clarendon Press, 1968

Disponible(->>)

7
Handbook of logic in artificial intelligence and logic programming. Volume 3. Nonmonotonic reasoning and uncertain reasoning
Material Type:
Livre
Ajouter au Panier

Handbook of logic in artificial intelligence and logic programming. Volume 3. Nonmonotonic reasoning and uncertain reasoning

Gabbay, Dov M (1945-...) (Ed.) ; Hogger, Christopher John (Ed.) ; Robinson, John Alan (Ed.) ; Nute, Donald (1947-...) (Dir.)

Appartient à la collection : Oxford science publications

Oxford. Clarendon press, 1994, cop. 1994

Disponible(->>)

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

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

10
Handbook of logic in computer science. Volume 3. Semantic structures
Material Type:
Livre
Ajouter au Panier

Handbook of logic in computer science. Volume 3. Semantic structures

Abramsky, Samson (1953-...) () ; Gabbay, Dov M (1945-...) (Ed.) ; Maibaum, Thomas S. E (1947-...) (Ed.)

Appartient à la collection : Oxford science publications

Oxford. Clarendon Press, 1994, cop. 1994

Disponible(->>)

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

résultats 1 2 next page

Refine Search Results

Affiner vos résultats

Localisation 

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

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1968  (1)
  2. 1968 à 1989  (1)
  3. 1990 à 1990  (1)
  4. 1991 à 1992  (3)
  5. Après 1992  (7)
  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.