H Computation and proof theory. Part II
Richter, Michael M. (Ed.) ; Börger, Egon (Ed.) ; Oberschelp, Walter (Ed.) ; Schinzel, Brigitta (Ed.) ; Thomas, W. (Ed.)
1984
viii, 475
21670
N° | 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