La philosophie des mathématiques de Henri Poincaré / J.J.A. MOOIJ (Cop. 1966)

Public ISBD 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

Pages choisies d'analyse générale / Maurice FRÉCHET (1953)

Public ISBD Titre : Pages choisies d'analyse générale Type de document : texte imprimé Auteurs : Maurice FRÉCHET, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1953 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. 3 Importance : 213 p. Langues : Français Mots-clés : analyse fonctionnelle  espace fonctionnel  espace abstrait  analyse générale Pages choisies d'analyse générale [texte imprimé] / Maurice FRÉCHET, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1953 . - 213 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 3) . Langues : Français Mots-clés : analyse fonctionnelle  espace fonctionnel  espace abstrait  analyse générale

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
6714	FRE/42/3608	Livre	Recherche	Salle	Disponible

Applications scientifiques de la logique mathématique (1954)

Public ISBD Titre : Applications scientifiques de la logique mathématique : Actes du 2e colloque international de logique mathématique, Paris - 25-30 août 1952, Institut Henri Poincaré Type de document : texte imprimé Editeur : Paris : Gauthier-Villars Année de publication : 1954 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. V Importance : 176 p. Langues : Français Mots-clés : logique mathématique  métamathématique  fondement des mathématiques  intuitionnisme  treillis Applications scientifiques de la logique mathématique : Actes du 2e colloque international de logique mathématique, Paris - 25-30 août 1952, Institut Henri Poincaré [texte imprimé] . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1954 . - 176 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; V) . Langues : Français Mots-clés : logique mathématique  métamathématique  fondement des mathématiques  intuitionnisme  treillis

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
6510	COL/02/3609	Livre	Recherche	Salle	Disponible

Deux esquisses de logique / J. Barkley ROSSER (1955)

Public ISBD Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 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. VII Importance : 65 p. Langues : Français Langues originales : Anglais Mots-clés : logique combinatoire  logique formelle  logique mathématique Note de contenu : index, bibliogr. Deux esquisses de logique [texte imprimé] / J. Barkley ROSSER, Auteur ; Roger MARTIN, Traducteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 65 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VII) . Langues : Français Langues originales : Anglais Mots-clés : logique combinatoire  logique formelle  logique mathématique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5543	ROS/02/3610	Livre	Recherche	Salle	Disponible

Théorie métamathématique des idéaux / Abraham ROBINSON (1955)

Public ISBD Titre : Théorie métamathématique des idéaux Type de document : texte imprimé Auteurs : Abraham ROBINSON, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1955 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. VIII Importance : 179 p. Langues : Français Mots-clés : théorie des idéaux  métamathématique Note de contenu : bibliogr. Théorie métamathématique des idéaux [texte imprimé] / Abraham ROBINSON, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1955 . - 179 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; VIII) . Langues : Français Mots-clés : théorie des idéaux  métamathématique Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5534	ROB/02/3611	Livre	Recherche	Salle	Disponible

Les limitations internes des formalismes / Jean LADRIERE (1957)

Permalink

Les fondements des mathématiques / A. HEYTING (1955)

Permalink

La structure algébrique des théories mathématiques / Leon HENKIN (1956)

Permalink

Fonctions récursives / Andrzej GRZEGORCZYK (DL 1961)

Permalink

Logique mathématique appliquée / Hans FREUDENTHAL (1958)

Permalink

Modal logics / Robert FEYS (1965)

Permalink

Les fonctions combinatoires et les isols / J. C. E. DEKKER (1966)

Permalink

Logiques construites par une méthode de déduction naturelle / Joseph Dopp (1962)

Permalink

Initiation à la logique / Dominique DUBARLE (1957)

Permalink

La crise de la raison et la logique / Evert W. BETH (1957)

Permalink

---

page /2