9 résultat(s) recherche sur le mot-clé 'métamathématique'    

Métamathématique / Paul LORENZEN (DL 1967)

Public ISBD Titre : Métamathématique Type de document : texte imprimé Auteurs : Paul LORENZEN, Auteur ; Jean-Blaise GRIZE, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : DL 1967 Autre Editeur : Paris : Éditions Mouton Collection : Mathématiques et sciences de l'homme num. VI Importance : 166 p. Langues : Français Langues originales : Allemand Catégories : 03F50 Mots-clés : métamathématique  logique mathématique  arithémétique Note de contenu : index, bibliogr. Métamathématique [texte imprimé] / Paul LORENZEN, Auteur ; Jean-Blaise GRIZE, Traducteur . - Paris : Gauthier-Villars : Paris : Éditions Mouton, DL 1967 . - 166 p.. - (Mathématiques et sciences de l'homme; VI) . Langues : Français Langues originales : Allemand Catégories : 03F50 Mots-clés : métamathématique  logique mathématique  arithémétique Note de contenu : index, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
i1161	LOR/IREM/H-E	Livre	IREM	Salle	Disponible
4820	LOR/02/3618	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

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

Gödel, Escher, Bach / Douglas HOFSTADTER (cop. 1979)

Public ISBD Titre : Gödel, Escher, Bach : an eternal golden braid Type de document : texte imprimé Auteurs : Douglas HOFSTADTER, Auteur Editeur : New-York : Basic books Année de publication : cop. 1979 Importance : XXI-777 p. Présentation : ill. ISBN/ISSN/EAN : 978-0-465-02685-2 Langues : Anglais Mots-clés : intelligence artificielle  métamathématique  symétrie  philosophie  art Note de contenu : Bibliogr., index Gödel, Escher, Bach : an eternal golden braid [texte imprimé] / Douglas HOFSTADTER, Auteur . - New-York : Basic books, cop. 1979 . - XXI-777 p. : ill. ISBN : 978-0-465-02685-2 Langues : Anglais Mots-clés : intelligence artificielle  métamathématique  symétrie  philosophie  art Note de contenu : Bibliogr., index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
23419	HOF/02/13230	Livre	Recherche	Salle	Disponible

Gödel, Escher, Bach. Les brins d'une guirlande éternelle / Douglas HOFSTADTER (cop. 1985)

Public ISBD Titre : Gödel, Escher, Bach. Les brins d'une guirlande éternelle Type de document : texte imprimé Auteurs : Douglas HOFSTADTER, Auteur ; Jacqueline HENRY, Traducteur ; Robert FRENCH, Traducteur Editeur : Paris : InterÉditions Année de publication : cop. 1985 Importance : XXI-883 p. Présentation : ill. ISBN/ISSN/EAN : 978-2-7296-0040-2 Langues : Français Mots-clés : intelligence artificielle  métamathématique  symétrie  philosophie  art Note de contenu : Bibliogr., index Gödel, Escher, Bach. Les brins d'une guirlande éternelle [texte imprimé] / Douglas HOFSTADTER, Auteur ; Jacqueline HENRY, Traducteur ; Robert FRENCH, Traducteur . - Paris : InterÉditions, cop. 1985 . - XXI-883 p. : ill. ISBN : 978-2-7296-0040-2 Langues : Français Mots-clés : intelligence artificielle  métamathématique  symétrie  philosophie  art Note de contenu : Bibliogr., index

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3019	HOF/02/5884	Livre	Recherche	Salle	Disponible

Logic, semantics, metamathematics. Papers from 1923 to 1938 / Alfred TARSKI (1956)

Permalink

Sur la nature des mathématiques / Claude Paul BRUTER (1973)

Permalink

The mathematics of metamathematics / Helena RASIOWA (1968)

Permalink

The metamathematics of algebraic systems / Anatolii Ivanovi? MAL'CEV (1971)

Permalink