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

Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications / László KALMÁR (1965)

Public ISBD Titre : Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications : Tihany, 11-15 septembre 1962 Type de document : texte imprimé Auteurs : László KALMÁR, Editeur scientifique Editeur : Paris : Gauthier-Villars Année de publication : 1965 Autre Editeur : Budapest : Akadémiai kiadó Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. XIX Importance : 317 p. Présentation : ill. Langues : Français Allemand Anglais Russe Mots-clés : fondement des mathématiques  machine mathématique Colloque sur les fondements des mathématiques, les machines mathématiques, et leurs applications : Tihany, 11-15 septembre 1962 [texte imprimé] / László KALMÁR, Editeur scientifique . - Paris : Gauthier-Villars : Budapest : Akadémiai kiadó, 1965 . - 317 p. : ill.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; XIX) . Langues : Français Allemand Anglais Russe Mots-clés : fondement des mathématiques  machine mathématique

Exemplaires

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

Cours de logique mathématique. Tome 2. Théorie des modèles / Roland FRAÏSSÉ (1972)

Public ISBD 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 Mots-clés : logique mathématique Cours de logique mathématique. Tome 2. Théorie des modèles [monographie] / Roland FRAÏSSÉ, Auteur . - Paris : 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 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

Cours de logique mathématique. Tome I / Roland FRAÏSSÉ (1967)

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

Cours de logique mathématiques. Tome 1 / Roland FRAÏSSÉ (Cop. 1971)

Public ISBD Titre : Cours de logique mathématiques. Tome 1 : relation et formule logique Type de document : texte imprimé Auteurs : Roland FRAÏSSÉ, Auteur Mention d'édition : 2e éd. revue et modifiée Editeur : Paris : Gauthier-Villars Année de publication : Cop. 1971 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 23 Importance : XIV-197 p. Langues : Français Mots-clés : logique mathématique Note de contenu : index, bibliogr. Cours de logique mathématiques. Tome 1 : relation et formule logique [texte imprimé] / Roland FRAÏSSÉ, Auteur  . -  2e éd. revue et modifiée . - Paris : Gauthier-Villars, Cop. 1971 . - XIV-197 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 23) . Langues : Français Mots-clés : logique mathématique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
5478	FRA/02/3286-I b	Livre	Recherche	Salle	Disponible

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

Permalink

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

Permalink

L'existence en mathématiques / Evert W. BETH (1956)

Permalink

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

Permalink

Fonctions récursives / Andrzej GRZEGORCZYK (DL 1961)

Permalink

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

Permalink

Initiation à la logique / Dominique DUBARLE (1957)

Permalink

Introduction à la logique / Alfred TARSKI (1960)

Permalink

Introduction à la logique / Alfred TARSKI (1960)

Permalink

Introduction à la logique / Alfred TARSKI (1971)

Permalink

---

page /2