A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail d'une collection
Collection de logique mathématique
Editeur :
ISSN :
pas d'ISSN
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Les limitations internes des formalismes / Jean LADRIERE (1957)
Titre : Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques Type de document : texte imprimé Auteurs : Jean LADRIERE, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1957 Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. II Importance : XIII-715 p. Langues : Français Mots-clés : théorème de Gödel formalisme logique mathématique fondement des mathématiques Note de contenu : biibliogr. Les limitations internes des formalismes : étude sur la signification du théorème de Gödel et des théorèmes apparentés dans la théorie des fondements des mathématiques [texte imprimé] / Jean LADRIERE, Auteur . - Louvain (Belgique) : E. Nauwelaerts, 1957 . - XIII-715 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; II) .
Langues : Français
Mots-clés : théorème de Gödel formalisme logique mathématique fondement des mathématiques Note de contenu : biibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5515 LAD/02/3615 Livre Recherche Salle Disponible Logiques construites par une méthode de déduction naturelle / Joseph Dopp (1962)
Titre : Logiques construites par une méthode de déduction naturelle Type de document : texte imprimé Auteurs : Joseph Dopp, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1962 Autre Editeur : Paris : Gauthier-Villars Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. 3 Importance : 191 p. Langues : Français Mots-clés : logique mathématique Note de contenu : bibliogr. Logiques construites par une méthode de déduction naturelle [texte imprimé] / Joseph Dopp, Auteur . - Louvain (Belgique) : E. Nauwelaerts : Paris : Gauthier-Villars, 1962 . - 191 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; 3) .
Langues : Français
Mots-clés : logique mathématique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5472 DOP/02/2026 Livre Recherche Salle Disponible Modal logics / Robert FEYS (1965)
Titre : Modal logics Type de document : texte imprimé Auteurs : Robert FEYS, Auteur ; Joseph Dopp, Editeur scientifique Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : 1965 Autre Editeur : Paris : Gauthier-Villars Collection : Collection de logique mathématique Sous-collection : Série B. Monographies réunies par M. J. Dopp num. IV Importance : 219 p. Note générale : Edited with some complements joseph Dopp Langues : Anglais Mots-clés : logique modale logique mathématique Note de contenu : bibliogr. Modal logics [texte imprimé] / Robert FEYS, Auteur ; Joseph Dopp, Editeur scientifique . - Louvain (Belgique) : E. Nauwelaerts : Paris : Gauthier-Villars, 1965 . - 219 p.. - (Collection de logique mathématique. Série B. Monographies réunies par M. J. Dopp; IV) .
Edited with some complements joseph Dopp
Langues : Anglais
Mots-clés : logique modale logique mathématique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5477 FEY/02/3616 Livre Recherche Salle Disponible i686 FEY/02/i686 Livre Recherche Salle Disponible La philosophie des mathématiques de Henri Poincaré / J.J.A. MOOIJ (Cop. 1966)
Titre : La philosophie des mathématiques de Henri Poincaré Type de document : texte imprimé Auteurs : J.J.A. MOOIJ, Auteur Editeur : Louvain [Belgique] : E. Nauwelaerts Année de publication : Cop. 1966 Collection : Collection de logique mathématique Sous-collection : Série A num. 20 Importance : 174 p. Note générale : Monographies réunies par Mme P. Février (Paris) ; XX Langues : Français Mots-clés : philosophie mathématique Henri Poincaré Note de contenu : index, bibliogr. La philosophie des mathématiques de Henri Poincaré [texte imprimé] / J.J.A. MOOIJ, Auteur . - Louvain (Belgique) : E. Nauwelaerts, Cop. 1966 . - 174 p.. - (Collection de logique mathématique. Série A; 20) .
Monographies réunies par Mme P. Février (Paris) ; XX
Langues : Français
Mots-clés : philosophie mathématique Henri Poincaré Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9427 MOO/00A30/2842 Livre Recherche Salle Disponible