A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
13 résultat(s) recherche sur le mot-clé 'X02' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer...](./images/print.gif)
![](./images/orderby_az.gif)
Cardinal algebras / Alfred TARSKI (1949)
Titre : Cardinal algebras Type de document : monographie Auteurs : Alfred TARSKI, Auteur Editeur : Oxford : Oxford University Press Année de publication : 1949 Langues : Anglais Mots-clés : X02 Cardinal algebras [monographie] / Alfred TARSKI, Auteur . - Oxford : Oxford University Press, 1949.
Langues : Anglais
Mots-clés : X02 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5554 TARS/02/07 Livre Recherche Salle Disponible Die methode der vollstandigen induktion / I.S. Sominski (1960)
Titre : Die methode der vollstandigen induktion Type de document : monographie Auteurs : I.S. Sominski, Auteur Editeur : Berlin : Deutscher Verlag der Wissenschaften Année de publication : 1960 Langues : Allemand Mots-clés : X02 Die methode der vollstandigen induktion [monographie] / I.S. Sominski, Auteur . - Berlin : Deutscher Verlag der Wissenschaften, 1960.
Langues : Allemand
Mots-clés : X02 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5550 SOMI/02/1349 Livre Recherche Salle Disponible Direct and converse theorems / I. S. GRADSHTEIN (1963)
Titre : Direct and converse theorems : the elements of symbolic logic Type de document : texte imprimé Auteurs : I. S. GRADSHTEIN, Auteur ; T. BODDINGTON, Traducteur Editeur : Oxford : Pergamon Press Année de publication : 1963 Importance : XVIII-173 p. Présentation : ill. Langues : Anglais Langues originales : Russe Mots-clés : X02 Résumé : logique symbolique;logique mathématique;théorème direct;théorème inverse Direct and converse theorems : the elements of symbolic logic [texte imprimé] / I. S. GRADSHTEIN, Auteur ; T. BODDINGTON, Traducteur . - Oxford : Pergamon Press, 1963 . - XVIII-173 p. : ill.
Langues : Anglais Langues originales : Russe
Mots-clés : X02 Résumé : logique symbolique;logique mathématique;théorème direct;théorème inverse Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5492 GRA/02/2117 Livre Recherche Salle Disponible Elements of mathematical logic and set theory / J. Stupecki (1967)
Titre : Elements of mathematical logic and set theory Type de document : monographie Auteurs : J. Stupecki, Auteur ; L. Borkowski, Auteur Editeur : Pergamon Press Année de publication : 1967 Importance : 349 p. Langues : Anglais Mots-clés : X02 Note de contenu : index Elements of mathematical logic and set theory [monographie] / J. Stupecki, Auteur ; L. Borkowski, Auteur . - [S.l.] : Pergamon Press, 1967 . - 349 p.
Langues : Anglais
Mots-clés : X02 Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5566 STU/02/3211 Livre Recherche Salle Disponible From Frege to Godel / J.Van Heijenoort (1967)
Titre : From Frege to Godel : A source book in mathematical logic, 1879-1931 Type de document : texte imprimé Auteurs : J.Van Heijenoort, Auteur Editeur : Harvard Année de publication : 1967 Langues : Anglais Mots-clés : X02 From Frege to Godel : A source book in mathematical logic, 1879-1931 [texte imprimé] / J.Van Heijenoort, Auteur . - [S.l.] : Harvard, 1967.
Langues : Anglais
Mots-clés : X02 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5497 HEI/02/3747 Livre Recherche Salle Perdu
Exclu du prêtHypothèse du continu / Waclaw SIERPINSKI (1956)
PermalinkIntroduction to mathematical thinking / F. Waismann (1951)
PermalinkLogique de la programmation sur les ensembles électroniques / B. Thuring (1963)
PermalinkMéthode axiomatique et formalisme. i, Le problème du fondement des mathématiques. ii, Axiomatique et système formel. iii, La non contradiction de l'arithmetique / Jean CAVAILLÈS (1938)
PermalinkOrdinal Algebras / Alfred TARSKI (1956)
Permalink