A partir de cette page vous pouvez :
Retourner à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche
- Editeur : Gauthier-Villars
- ISSN : 0530-7554
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externesL'existence en mathématiques (1956) / Evert W. BETH
Titre : L'existence en mathématiques : conferences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954 Type de document : texte imprimé Auteurs : Evert W. BETH, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1956 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 : 60 p. Langues : Français (fre) Mots-clés : fondement des mathématiques philosophie des mathématiques L'existence en mathématiques : conferences faites à la Sorbonne au titre des échanges culturels franco-néerlandais du 29 mars au 7 avril 1954 [texte imprimé] / Evert W. BETH, Auteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1956 . - 60 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 : fondement des mathématiques philosophie des mathématiques Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5452 BET/02/3612 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 Introduction à la logique (1960) / Alfred TARSKI
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1960 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. 16 Importance : XV-224 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique variable théorie des classes théorie des relations Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.
Sommaire:
I - Éléments de logique. Méthode déductive.
L'usage des variables.
Le calcul des propositions.
La théorie de l'identité.
La théorie des classes.
La théorie des relations.
La méthode déductive.
II - Applications de la logique et de la méthodologie
à la construction des théories mathématiques.
Construction d'une théorie mathématique : lois d'ordre pour les nombres.
Construction d'une théorie mathématique : lois de l'addition et de la soustraction.
Considérations méthodologiques sur la théorie que nous venons de construire.
Extension de la théorie construite : fondements de l'arithmétique des nombres réels.Note de contenu : index Introduction à la logique [texte imprimé] / Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1960 . - XV-224 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 16) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique variable théorie des classes théorie des relations Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.
Sommaire:
I - Éléments de logique. Méthode déductive.
L'usage des variables.
Le calcul des propositions.
La théorie de l'identité.
La théorie des classes.
La théorie des relations.
La méthode déductive.
II - Applications de la logique et de la méthodologie
à la construction des théories mathématiques.
Construction d'une théorie mathématique : lois d'ordre pour les nombres.
Construction d'une théorie mathématique : lois de l'addition et de la soustraction.
Considérations méthodologiques sur la théorie que nous venons de construire.
Extension de la théorie construite : fondements de l'arithmétique des nombres réels.Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3906 TAR/02/1357 a Livre Recherche Salle Disponible Cours de logique mathématique. Tome I (1967) / Roland FRAÏSSÉ
Titre : Cours de logique mathématique. Tome I : relation, formule logique, compacité, complétude Type de document : texte imprimé Auteurs : Roland FRAÏSSÉ, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1967 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. 023 Importance : XII-186 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Cours de logique mathématique. Tome I : relation, formule logique, compacité, complétude [texte imprimé] / Roland FRAÏSSÉ, Auteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1967 . - XII-186 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 023) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3905 FRA/02/3286-I a Livre Recherche Salle Disponible Cours de logique mathématique. Tome 2. Théorie des modèles (1972) / Roland FRAÏSSÉ
Titre : Cours de logique mathématique. Tome 2. Théorie des modèles Type de document : monographie Auteurs : Roland FRAÏSSÉ, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1972 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 024 Note générale : disparu Langues : Français (fre) Mots-clés : logique mathématique Cours de logique mathématique. Tome 2. Théorie des modèles [monographie] / Roland FRAÏSSÉ, Auteur . - Gauthier-Villars, 1972. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 024) .
disparu
Langues : Français (fre)
Mots-clés : logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3414 FRA/02/3286-II Livre Recherche Salle Exclu du prêt Les systèmes axiomatiques de la théorie des ensembles (1953) / Hao WANG
PermalinkRecherches sur la théorie générale des systèmes formels et sur les systèmes connectifs (1965) / Jean PORTE
PermalinkIntroduction à la logique (1971) / Alfred TARSKI
PermalinkIntroduction à la logique (1969) / Alfred TARSKI
Permalink