A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Jean PORTE |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externesRecherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / Jean PORTE (DL 1965)
Titre : Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs Type de document : texte imprimé Auteurs : Jean PORTE, Auteur Editeur : Paris : Gauthier-Villars Année de publication : DL 1965 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique Sous-collection : Série A. Monographies réunies par Mme P. Février num. XVIII Importance : 146 p. Langues : Français Mots-clés : système formel système connectif histoire des sciences Note de contenu : index, références Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs [texte imprimé] / Jean PORTE, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, DL 1965 . - 146 p.. - (Collection de logique mathématique. Série A. Monographies réunies par Mme P. Février; XVIII) .
Langues : Français
Mots-clés : système formel système connectif histoire des sciences Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5541 POR/02/2717 Livre Recherche Salle Disponible i1217 POR/02/i1217 Livre Recherche Salle Disponible
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
