Accueil
Catégories
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred Tarski (1901-1983), Auteur Mention d'édition : [Reproduction en fac-similé] Editeur : Paris : J. Gabay Année de publication : c2008 Importance : 1 vol. (XV-246 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-87647-295-2 Note générale : Index français-anglais Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Arithmétique -- Fondements ; Logique mathématique ; Logique symbolique et mathématique ; Mathématiques -- Philosophie Index. décimale : 511.3 Introduction à la logique [texte imprimé] / Alfred Tarski (1901-1983), Auteur . - [Reproduction en fac-similé] . - Paris (Paris) : J. Gabay, c2008 . - 1 vol. (XV-246 p.) ; 24 cm.
ISBN : 978-2-87647-295-2
Index français-anglais
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : Arithmétique -- Fondements ; Logique mathématique ; Logique symbolique et mathématique ; Mathématiques -- Philosophie Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 24408 511.3 TARS I Livre LSH Libre Accès Disponible Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
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 Ladrière (1921-2007), Auteur Editeur : Sceaux [France] : J. Gabay Année de publication : 1992 Collection : Les grands classiques Gauthier-Villars, ISSN 0989-0602 Importance : XIII-715-26 col. Format : 18 x 25 cm ISBN/ISSN/EAN : 978-2-87647-087-3 Note générale : Fac-sim. de l'éd. de Louvain : E. Nauwelaerts ; Paris : Gauthiers-Villars, 1957, parue dans la collection de Logique mathématique Langues : Français (fre) Catégories : Arithmétique -- Fondements ; Formalisme (Mathematiques) ; Gödel, Théorème de ; Logique mathématique ; Mathématiques -- Fondements Index. décimale : 511.3 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 Ladrière (1921-2007), Auteur . - Sceaux (France) : J. Gabay, 1992 . - XIII-715-26 col. ; 18 x 25 cm. - (Les grands classiques Gauthier-Villars, ISSN 0989-0602) .
ISBN : 978-2-87647-087-3
Fac-sim. de l'éd. de Louvain : E. Nauwelaerts ; Paris : Gauthiers-Villars, 1957, parue dans la collection de Logique mathématique
Langues : Français (fre)
Catégories : Arithmétique -- Fondements ; Formalisme (Mathematiques) ; Gödel, Théorème de ; Logique mathématique ; Mathématiques -- Fondements Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 23954 511.3 LADR L Livre Polytechnique Magasin Disponible
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....), Autre Editeur : Paris [France] : Hermann Année de publication : 1976 Collection : Méthodes Sous-collection : Mathématiques num. 16 Importance : XXXI-263 p. Présentation : ill. Format : 22 cm ISBN/ISSN/EAN : 978-2-7056-5830-4 Note générale : Bibliogr. p. 261-263. Index Langues : Français (fre) Catégories : Logique mathématique Index. décimale : 511.3 Logique mathématique [texte imprimé] / Jean-François Pabion, Auteur ; Marcel Guillaume (1928-....), Autre . - Paris (France) : Hermann, 1976 . - XXXI-263 p. : ill. ; 22 cm. - (Méthodes. Mathématiques; 16) .
ISBN : 978-2-7056-5830-4
Bibliogr. p. 261-263. Index
Langues : Français (fre)
Catégories : Logique mathématique Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 23926 511.3 PABI L Livre Sciences Libre Accès Disponible
