Congrès
Proceedings of the summer school in logic Leeds 1967
Löb, M. H. (Ed.)
1968
331 p.
M/A1(70)
algèbre de Lukasiewicz ; fonction récursive ; logique ; preuve
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03C35 ; 03D20 ; 03F03 ; 03G20
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 28 cm
Collection : Lecture notes in mathematics
N° de collection : 0070
Bibliographie : Notes bibliographiques
Nom du congrès : Summer school in logic
Lieu du congrès : Leeds
Pays du congrès : Grande-Bretagne
Date du congrès : August 7-23 , 1967
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | M/A1(70) MAT013896 | [disponible] | YRéserver |