m
     
MathCongrès

H 0 Isilc proof theory symposion

H

Diller, J. (Ed.) ; Mueller, Gert H. (Ed.)

Springer

1975

383

13095

https://doi.org/10.1007/BFb0079542


Exemplaires

Nbre d'exemplaires : 1
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

Z