H Isilc proof theory symposion
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 13095 | 1024796 | PROC 03-02 ISI |
ISBN10 : 3-540-07533-X
Type de doc : C
Ville d'édition : Berlin
Langue ouvrage : eng
Collection : Lecture notes in mathematics
N° dans la collection : 0500
ISSN Collection : 0075-8434
Class. Math. 1991 : 02-02 ; 02D05 ; 02D99 ; 02E05 ; 02F29 ; 02F40
Nom congres : International summer institute and logic coloquium
Ville du congrès : Kiel
Pays congres : de
Année du congres : 1974
Lien SUDOC : https://www.sudoc.fr/017070821