m

Documents  Oberschelp, W. | enregistrements trouvés : 1

O
K L Q M | g | F x r
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computation and proof theory, part II :
proceedings of the logic colloquium held in aachen#July 18-23 Borger, E. ; Oberschelp, W. ; Richter, M. M. | Springer-Verlag 1984

Congrès

- 475 p.
ISBN 978-0-387-13901-2

Lecture notes in mathematics , 1104

Localisation : Collection 1er étage

03Dxx ; 03Fxx ; 68CXX

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Filtrer

Auteurs

Borger, E. [1]

Oberschelp, W. [1]

Richter, M. M. [1]

Codes MSC

03Dxx [1]

03Fxx [1]

68CXX [1]

Langue

Anglais [1]

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée

0
Z