m
     
MathCongrès

H 0 Computation and proof theory. Part II

H

Richter, Michael M. (Ed.) ; Börger, Egon (Ed.) ; Oberschelp, Walter (Ed.) ; Schinzel, Brigitta (Ed.) ; Thomas, W. (Ed.)

Springer

1984

viii, 475

21670

récursivité ; théorie de la preuve ; métathéorie ; logique

https://doi.org/10.1007/BFb0099476


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 21670 1024811 PROC 03C COM

Sous-titre : proceedings of the logic colloquium held in Aachen, July 18-23, 1983

ISBN10 : 3-540-13901-X

Notes : Part 1 = 21671

Type de doc : C

Ville d'édition : Berlin

Langue ouvrage : eng

Collection : Lecture notes in mathematics

N° dans la collection : 1104

ISSN Collection : 0075-8434

Class. Math. 1991 : 03Dxx ; 03Fxx ; 68Cxx

Nom congres : Logic colloquium

Ville du congrès : Aachen

Pays congres : de

Année du congres : 1983

Lien SUDOC : https://www.sudoc.fr/02625512X

Voir aussi

Z