Applications scientifiques de la logique mathématique / 2. Colloque international de logique mathematique

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é Auteurs : 2. Colloque international de logique mathematique Editeur : Paris : Gauthier-Villars Année de publication : 1954. Collection : Collection de logique mathématique num. ser. A, 5 Importance : 176 p. Format : 26 cm. Langues : Français (fre) 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é] / 2. Colloque international de logique mathematique . - Paris : Gauthier-Villars, 1954. . - 176 p. ; 26 cm.. - (Collection de logique mathématique; ser. A, 5) . Langues : Français (fre)

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Statut et disponibilité
89072326	II.2/0/49	Livre	@MFJ	Magasin	Empruntable Disponible

Axiomatique intuitionniste sans négation de la géométrie projective / N. Dequoy

Public ISBD Titre : Axiomatique intuitionniste sans négation de la géométrie projective Type de document : texte imprimé Auteurs : N. Dequoy Editeur : Paris : Gauthier-Villars Année de publication : 1955. Collection : Collection de logique mathématique num. Ser. A. 6 Importance : 108 p. Format : 25 cm. Note générale : Lithoprinted Langues : Français (fre) Mention de resp. / 責任表示 : N. Dequoy. Axiomatique intuitionniste sans négation de la géométrie projective [texte imprimé] / N. Dequoy . - Paris : Gauthier-Villars, 1955. . - 108 p. ; 25 cm.. - (Collection de logique mathématique; Ser. A. 6) . Lithoprinted Langues : Français (fre) Mention de resp. / 責任表示 : N. Dequoy.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Statut et disponibilité
89066633	II.2/0/53	Livre	@MFJ	Magasin	Empruntable Disponible

Deux esquisses de logique / J. Barkley (John Barkley) Rosser

Public ISBD Titre : Deux esquisses de logique Type de document : texte imprimé Auteurs : J. Barkley (John Barkley) Rosser Editeur : Paris : Gauthier-Villars Année de publication : 1955. Collection : Collection de logique mathématique num. Série A, 7 Importance : 70 p. Présentation : ill. Format : 25 cm. Langues : Français (fre) Mention de resp. / 責任表示 : J. Barkley Rosser. Deux esquisses de logique [texte imprimé] / J. Barkley (John Barkley) Rosser . - Paris : Gauthier-Villars, 1955. . - 70 p. : ill. ; 25 cm.. - (Collection de logique mathématique; Série A, 7) . Langues : Français (fre) Mention de resp. / 責任表示 : J. Barkley Rosser.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Statut et disponibilité
89083931	II.2/0/52	Livre	@MFJ	Magasin	Empruntable Disponible

existence en mathématiques (L') / Evert Willem Beth

Public ISBD Titre : existence en mathématiques (L') : conférences faites à la Sorbonne au titre des échanges culturels franço-néerlandais du 29 mars au 7 avril 1954 Type de document : texte imprimé Auteurs : Evert Willem Beth Editeur : Paris : Gauthier-Villars Année de publication : 1956. Collection : Collection de logique mathématique num. Série A, 10 Importance : 61 p. Format : 25 cm. Langues : Français (fre) Mention de resp. / 責任表示 : E. W. Beth. existence en mathématiques (L') : conférences faites à la Sorbonne au titre des échanges culturels franço-néerlandais du 29 mars au 7 avril 1954 [texte imprimé] / Evert Willem Beth . - Paris : Gauthier-Villars, 1956. . - 61 p. ; 25 cm.. - (Collection de logique mathématique; Série A, 10) . Langues : Français (fre) Mention de resp. / 責任表示 : E. W. Beth.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Statut et disponibilité
89083914	II.2/8°/0.44	Livre	@MFJ	Magasin	Empruntable Disponible

fondements logiques des mathématiques (Les) / Evert Willem Beth

Public ISBD Titre : fondements logiques des mathématiques (Les) Type de document : texte imprimé Auteurs : Evert Willem Beth Editeur : Paris : Gauthier-Villars Année de publication : 1950. Collection : Collection de logique mathématique num. Sér. A. 1 Importance : 222 p. Format : 25 cm. Langues : Français (fre) Mention de resp. / 責任表示 : E. W. Beth. fondements logiques des mathématiques (Les) [texte imprimé] / Evert Willem Beth . - Paris : Gauthier-Villars, 1950. . - 222 p. ; 25 cm.. - (Collection de logique mathématique; Sér. A. 1) . Langues : Français (fre) Mention de resp. / 責任表示 : E. W. Beth.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Statut et disponibilité
89083836	II.2/8°/0.29	Livre	@MFJ	Magasin	Empruntable Disponible

fondements des mathématiques (Les) / A. (Arend) Heyting

Permalink

Initiation à la logique / Le R. P. Dubarle

Permalink

limitations internes des formalismes (Les) / Jean Ladrière

Permalink

philosophie des mathématiques de Henri Poincaré (La) / J. J. A. (Jan Johann Albinn) Mooij

Permalink

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

Permalink

structures de commutation à m valeurs et les calculatrices numériques (Les) / M. Midhat J. Gazalé

Permalink

Théorie métamathématique des idéaux / Abraham Robinson

Permalink

---

1 (1 - 12 / 12)