skip to main content
Langue :
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Ouverture adaptée (COVID-19) 

Retrait de documents sur rendez-vous. Travail sur place sur réservation
Afficher les résultats avec :
N'afficher que
Filtré par : auteur: Oberschelp, Walter supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II
Material Type:
Livre
Ajouter au Panier

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

Richter, Michael M (1938-...) (Ed.) ; Börger, Egon (1946-...) (Ed.) ; Oberschelp, Walter (1933-...) (Ed.)

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

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

Indisponible     (->>)

2
Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
Material Type:
ebook
Ajouter au Panier

Computation and Proof Theory : Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Börger, Egon (1946-...) (Ed.) ; Oberschelp, Walter (1933-...) (Ed.) ; Richter, Michael M (1938-...) (Ed.) ; Schinzel, Brigitta (Ed.) ; Thomas, Wolfgang (1947-...) (Ed.)

Lecture Notes in Mathematics ; 1104

Berlin [etc.]. Springer, 201. ?

Refine Search Results

N'afficher que

  1. Ressources en ligne (1)

Affiner vos résultats

Type de ressource 

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

Date de parution 

Affiner à partir de Affiner jusqu'à

Editeur 

  1. Springer  (1)
  2. Springer-Verlag  (1)
  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.