1 résultat(s) recherche sur le mot-clé 'calcul implicatif intuitionniste'    

Sur les algèbres de Hilbert / Antonio DIEGO (1966)

Public ISBD Titre : Sur les algèbres de Hilbert Type de document : texte imprimé Auteurs : Antonio DIEGO, Auteur ; Luisa ITURRIOZ, Traducteur ; Jean PORTE, Préfacier, etc. Editeur : Paris : Gauthier-Villars Année de publication : 1966 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. XXI Importance : VIII-54 p. Présentation : ill. Note générale : Traduction faite d'après la thèse de doctorat d'Antonio Diego éditée en langue espagnole Langues : Français Langues originales : Espagnol Catégories : 46K15 Mots-clés : algèbre de Hilbert  calcul implicatif intuitionniste Note de contenu : index, bibliogr. Sur les algèbres de Hilbert [texte imprimé] / Antonio DIEGO, Auteur ; Luisa ITURRIOZ, Traducteur ; Jean PORTE, Préfacier, etc. . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1966 . - VIII-54 p. : ill.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; XXI) . Traduction faite d'après la thèse de doctorat d'Antonio Diego éditée en langue espagnole Langues : Français Langues originales : Espagnol Catégories : 46K15 Mots-clés : algèbre de Hilbert  calcul implicatif intuitionniste Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4876	DIE/46/2916	Livre	Recherche	Salle	Manquant Exclu du prêt