A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'éditeur
E. Nauwelaerts
localisé à :
Louvain
Collections rattachées :
|
Documents disponibles chez cet éditeur
Affiner la recherche Interroger des sources externes
L'existence en mathématiques / Evert W. BETH (1956)
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 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 . - Paris : 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
Mots-clés : fondement des mathématiques philosophie des mathématiques Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5452 BET/02/3612 Livre Recherche Salle Disponible Notions de logique formelle / Joseph Dopp (1967)
Titre : Notions de logique formelle Type de document : texte imprimé Auteurs : Joseph Dopp, Auteur Mention d'édition : 2ème éd. Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1967 Collection : Cours publiés par l'institut supérieur de philosophie Importance : 304 p. Langues : Français Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Notions de logique formelle [texte imprimé] / Joseph Dopp, Auteur . - 2ème éd. . - Louvain (Belgique) : E. Nauwelaerts, 1967 . - 304 p.. - (Cours publiés par l'institut supérieur de philosophie) .
Langues : Français
Catégories : 03-xx Mots-clés : logique formelle philosophie histoire Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1218 DOP/02/i1218 Livre Recherche Salle Disponible 5114 DOPP/02/3568 Livre Recherche Salle Disponible Sur les algèbres de Hilbert / Antonio DIEGO (1966)
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êtIntroduction à la logique / Alfred TARSKI (1960)
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 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 . - Paris : 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
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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3906 TAR/02/1357 a Livre Recherche Salle Disponible Cours de logique mathématique. Tome I / Roland FRAÏSSÉ (1967)
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 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 . - Paris : 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
Catégories : 03-xx Mots-clés : logique mathématique formule logique Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3905 FRA/02/3286-I a Livre Recherche Salle Disponible Les systèmes axiomatiques de la théorie des ensembles / Hao WANG (1953)
PermalinkMathématique moderne, langage du futur / Georges VAN HOUT (1971)
PermalinkRecherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / Jean PORTE (DL 1965)
PermalinkIntroduction à la logique / Alfred TARSKI (1971)
PermalinkIntroduction à la logique / Alfred TARSKI (1969)
Permalink