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 (1965) / Jean PORTE
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 : 1965 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 Importance : 146 p. Langues : Français (fre) Mots-clés : système formel système connectif histoire des sciences Note de contenu : index Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs [texte imprimé] / Jean PORTE, Auteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1965 . - 146 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554) .
Langues : Français (fre)
Mots-clés : système formel système connectif histoire des sciences Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1217 POR/IREM/H-E Livre IREM Salle Disponible 5541 PORT/02/2717 Livre Recherche Salle Disponible Sur les algèbres de Hilbert (1966) / Antonio DIEGO
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 (fre) Langues originales : Espagnol (spa) 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. . - 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 (fre) Langues originales : Espagnol (spa)
Catégories : 46K15 Mots-clés : algèbre de Hilbert calcul implicatif intuitionniste Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4876 DIE/46/2916 Livre Recherche Salle Disponible