eléments de logique / G. Haury / David Perret (1973)

Public ISBD Titre : eléments de logique Type de document : texte imprimé Auteurs : G. Haury, Auteur ; R. Lang, Auteur ; A. Olza, Auteur Editeur : David Perret, 1973 Importance : 135 p. Format : 21 cm ISBN/ISSN/EAN : 978-2-602-00824-0 Langues : (FRE) Index. décimale : 511.3 eléments de logique [texte imprimé] / G. Haury, Auteur ; R. Lang, Auteur ; A. Olza, Auteur . - David Perret, 1973 . - 135 p. ; 21 cm. ISBN : 978-2-602-00824-0 Langues : (FRE) Index. décimale : 511.3

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
0023950007	511.3 HAU ex.1	Livre	Bibliothèque Centrale	Mathématiques	Disponible

Gödel's proof / Ernest Nagel / London : Routledge, Kegan Paul LTD (1958)

Public ISBD Titre : Gödel's proof Type de document : texte imprimé Auteurs : Ernest Nagel, Auteur ; James R. Newman, Auteur Editeur : London : Routledge, Kegan Paul LTD, 1958 Importance : 118 p. Format : 18 cm ISBN/ISSN/EAN : 978-0-7100-7078-4 Langues : Anglais (eng) Mots-clés : Théorème de Gödel  Métamathématiques  Logique, symbolique et mathématique  Mathématiques--Philosophie Gödel's theorem  Metamathematics  Logic, Symbolic and mathematical  Mathematics--Philosophy Index. décimale : 511.3 Gödel's proof [texte imprimé] / Ernest Nagel, Auteur ; James R. Newman, Auteur . - London : Routledge, Kegan Paul LTD, 1958 . - 118 p. ; 18 cm. ISBN : 978-0-7100-7078-4 Langues : Anglais (eng) Mots-clés : Théorème de Gödel  Métamathématiques  Logique, symbolique et mathématique  Mathématiques--Philosophie Gödel's theorem  Metamathematics  Logic, Symbolic and mathematical  Mathematics--Philosophy Index. décimale : 511.3

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

Introduction à la logique mathématique / P.S. Novikov / Dunod (1964)

Public ISBD Titre : Introduction à la logique mathématique Type de document : texte imprimé Auteurs : P.S. Novikov, Auteur ; CH. Sarthou, Traducteur Editeur : Dunod, 1964 Collection : Université de Mathématique Importance : 332 p. Format : 24 cm Langues : (FRE) Mots-clés : Mathémathiques Index. décimale : 511.3 Introduction à la logique mathématique [texte imprimé] / P.S. Novikov, Auteur ; CH. Sarthou, Traducteur . - Dunod, 1964 . - 332 p. ; 24 cm. - (Université de Mathématique) . Langues : (FRE) Mots-clés : Mathémathiques Index. décimale : 511.3

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
0030400007	511.3 NOV ex.1	Livre	Bibliothèque Centrale	Mathématiques	Disponible

Introduction à la théorie des sytèmes formels (première partie) / Denis Miéville / Centre de Recherches Sémiologiques (1991)

Public ISBD Titre : Introduction à la théorie des sytèmes formels (première partie) Type de document : texte imprimé Auteurs : Denis Miéville, Auteur Editeur : Centre de Recherches Sémiologiques, 1991 Collection : Travaux Logiaues Importance : 128 p. Format : 21 cm Langues : (FRE) Index. décimale : 511.3 Introduction à la théorie des sytèmes formels (première partie) [texte imprimé] / Denis Miéville, Auteur . - Centre de Recherches Sémiologiques, 1991 . - 128 p. ; 21 cm. - (Travaux Logiaues) . Langues : (FRE) Index. décimale : 511.3

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
0024240007	511.3 MI ex.1	Livre	Bibliothèque Centrale	Mathématiques	Disponible

Introduction à la théorie des sytèmes formels (première partie) / Denis Miéville / Centre de Recherches Sémiologiques (1991)

Public ISBD Titre : Introduction à la théorie des sytèmes formels (première partie) Type de document : texte imprimé Auteurs : Denis Miéville, Auteur Editeur : Centre de Recherches Sémiologiques, 1991 Collection : Travaux Logiaues Importance : 128 p. Format : 21 cm Langues : (FRE) Index. décimale : 511.3 Introduction à la théorie des sytèmes formels (première partie) [texte imprimé] / Denis Miéville, Auteur . - Centre de Recherches Sémiologiques, 1991 . - 128 p. ; 21 cm. - (Travaux Logiaues) . Langues : (FRE) Index. décimale : 511.3

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
0024250007	511.3 MI ex.2	Livre	Bibliothèque Centrale	Mathématiques	Disponible

Model Theory : An Introduction / Marker David / New York : Springer-Verlag (20..)

Permalink

---

1 (1 - 6 / 6) Par page : 25 50 100 200