2 résultat(s) recherche sur le mot-clé 'logique mathematique'

Eine termlogik mit auswahloperator / H. Hermes

Public ISBD Titre : Eine termlogik mit auswahloperator Type de document : texte imprimé Auteurs : H. Hermes Editeur : Springer-Verlag Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 6 Importance : 42 Langues : Allemand Mots-clés : logique mathematique Index. décimale : LNM Eine termlogik mit auswahloperator [texte imprimé] / H. Hermes . - [S.l.] : Springer-Verlag, [s.d.] . - 42. - (Lecture Notes in Mathematics, ISSN 0075-8434; 6) . Langues : Allemand Mots-clés : logique mathematique Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7123	LNM/6	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

The axiom of constructibility. a guide for the mathematician. / Devlin, Keith J.

Public ISBD Titre : The axiom of constructibility. a guide for the mathematician. Type de document : texte imprimé Auteurs : Devlin, Keith J. Editeur : Springer-Verlag Année de publication : 1977 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 617 Importance : 96 ISBN/ISSN/EAN : 978-0-387-08520-3 Langues : Anglais Mots-clés : logique mathematique Index. décimale : LNM The axiom of constructibility. a guide for the mathematician. [texte imprimé] / Devlin, Keith J. . - [S.l.] : Springer-Verlag, 1977 . - 96. - (Lecture Notes in Mathematics, ISSN 0075-8434; 617) . ISBN : 978-0-387-08520-3 Langues : Anglais Mots-clés : logique mathematique Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
6333	LNM/617	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible