A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'indexation
03C : Monographie
Ouvrages de la bibliothèque en indexation 03C
Affiner la recherche
le Démontrable et l'indémontrable / Manine, I.
Titre : le Démontrable et l'indémontrable Type de document : texte imprimé Auteurs : Manine, I. Editeur : Moscou : Radio soviétique Année de publication : 1979 Importance : 165 p. Note générale : Don de Monsieur Andronikov Langues : Russe Mots-clés : logique Index. décimale : 03C Monographie le Démontrable et l'indémontrable [texte imprimé] / Manine, I. . - Moscou : Radio soviétique, 1979 . - 165 p.
Don de Monsieur Andronikov
Langues : Russe
Mots-clés : logique Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3140 03C53 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Dual tableaux: foundations, methodology, case studies / Ewa Orlowska
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 21116 03C188 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mathematische logik / H. Hermes
Titre : Einführung in die mathematische logik : klassische prädikatenlogik Type de document : texte imprimé Auteurs : H. Hermes Editeur : Leipzig : B.G. Teubner Année de publication : 1963 Collection : Mathematische Leitfäden Importance : 187 p. Langues : Allemand Mots-clés : mathematical logic Index. décimale : 03C Monographie Einführung in die mathematische logik : klassische prädikatenlogik [texte imprimé] / H. Hermes . - Leipzig : B.G. Teubner, 1963 . - 187 p.. - (Mathematische Leitfäden) .
Langues : Allemand
Mots-clés : mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9199 03C35 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mathematische logik. Teil I / Asser, G.
Titre : Einführung in die mathematische logik. Teil I : aussagenkalkül Type de document : texte imprimé Auteurs : Asser, G. Editeur : Leipzig : B.G. Teubner Année de publication : 1967 Collection : Mathematisch-Naturwissenschaftliche Bibliothek num. 18 Importance : iv - 184 p. Langues : Allemand Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logicMots-clés : logic philosophy foundations of mathematics Index. décimale : 03C Monographie Einführung in die mathematische logik. Teil I : aussagenkalkül [texte imprimé] / Asser, G. . - Leipzig : B.G. Teubner, 1967 . - iv - 184 p.. - (Mathematisch-Naturwissenschaftliche Bibliothek; 18) .
Langues : Allemand
Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
03-XX Mathematical logic and foundations:03BXX General logic:03B05 Classical propositional logicMots-clés : logic philosophy foundations of mathematics Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9200 03C34 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die mengenlehre und die theorie der reellen funktionen / P. S. Alexandroff
Titre : Einführung in die mengenlehre und die theorie der reellen funktionen Type de document : texte imprimé Auteurs : P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. Editeur : Berlin : Veb Deutscher Verlag der Wissenschaften Année de publication : 1964 Collection : Hochschulbücher für Mathematik num. 023 Importance : Xii - 279 p. Langues : Allemand Langues originales : Russe Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : real functions mathematical logic Index. décimale : 03C Monographie Einführung in die mengenlehre und die theorie der reellen funktionen [texte imprimé] / P. S. Alexandroff ; W. Trad. Richter ; Peschel, M. . - Berlin : Veb Deutscher Verlag der Wissenschaften, 1964 . - Xii - 279 p.. - (Hochschulbücher für Mathematik; 023) .
Langues : Allemand Langues originales : Russe
Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics
03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.)
26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.)Mots-clés : real functions mathematical logic Index. décimale : 03C Monographie Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 9268 03C129 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible Einführung in die operative Logik und Mathematik / Lorenzen, P.
PermalinkElementary logic of science and mathematics / Nidditch, P. H.
PermalinkEléments de logique classique. T. 2 / Chenique, F.
PermalinkEléments de logique classique. T. I / Chenique, F.
PermalinkElements of mathematical logic / Lukasiewicz, J.
PermalinkElements of mathematical logic / Novikov, P. S.
PermalinkEnumerability. Decidability. Computability / H. Hermes
PermalinkEquivalents of the axiom of choice / Rubin, H.
PermalinkFinite model theory / Ebbinghaus, Heinz-Dieter
PermalinkFirst-order logic / Raymond M. Smullyan
Permalink