Completeness, compactnss, and undecidability / Manaster, Alfred B.

Public ISBD Titre : Completeness, compactnss, and undecidability : an introduction to mathematical logic Type de document : texte imprimé Auteurs : Manaster, Alfred B. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1975 Importance : vi - 154 p. ISBN/ISSN/EAN : 978-0-13-164624-7 Langues : Anglais 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:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories Mots-clés : first-order logic  categoricity  mathematical logic Index. décimale : 03C Monographie Completeness, compactnss, and undecidability : an introduction to mathematical logic [texte imprimé] / Manaster, Alfred B. . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1975 . - vi - 154 p. ISBN : 978-0-13-164624-7 Langues : Anglais 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:03B25 Decidability of theories and sets of sentences 03-XX Mathematical logic and foundations:03CXX Model theory:03C35 Categoricity and completeness of theories Mots-clés : first-order logic  categoricity  mathematical logic Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9216	03C82	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

an Introduction to the theory of linear spaces / Georgi E. Shilov

Public ISBD Titre : an Introduction to the theory of linear spaces Type de document : texte imprimé Auteurs : Georgi E. Shilov ; Richard A. Silverman, Traducteur Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1961 Importance : ix - 310 p. Langues : Anglais Langues originales : Russe Mots-clés : linear spaces Index. décimale : 15C Monographie an Introduction to the theory of linear spaces [texte imprimé] / Georgi E. Shilov ; Richard A. Silverman, Traducteur . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1961 . - ix - 310 p. Langues : Anglais Langues originales : Russe Mots-clés : linear spaces Index. décimale : 15C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8644	15C14	imprimé / autre	CRDM	15/ALGEBRE LINEAIRE ET MULTILINEAIRE THEORIE DES MATRICES	Disponible

Real numbers / Drobot, S.

Public ISBD Titre : Real numbers Type de document : texte imprimé Auteurs : Drobot, S. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1964 Importance : 102 p. Langues : Anglais Langues originales : Anglais Mots-clés : real numbers Index. décimale : 11C Monographie Real numbers [texte imprimé] / Drobot, S. . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1964 . - 102 p. Langues : Anglais Langues originales : Anglais Mots-clés : real numbers Index. décimale : 11C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
8924	11C43	imprimé / autre	CRDM	11/THEORIE DES NOMBRES	Disponible

Advanced calculus for applications / Hildebrand, Francis B.

Public ISBD Titre : Advanced calculus for applications Type de document : texte imprimé Auteurs : Hildebrand, Francis B. Mention d'édition : 2nd ed. Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1963 Collection : Prentice-Hall Mathematics Series Importance : ix - 646 p. Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.) 30-XX Functions of a complex variable :30-01 Instructional exposition (textbooks, tutorial papers, etc.) 33-XX Special functions (33-XX deals with the properties of functions as functions) :33-01 Instructional exposition (textbooks, tutorial papers, etc.) 34-XX Ordinary differential equations:34-01 Instructional exposition (textbooks, tutorial papers, etc.) 35-XX Partial differential equations:35-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : variable reelle Index. décimale : 34C Monographie Advanced calculus for applications [texte imprimé] / Hildebrand, Francis B.  . -  2nd ed. . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1963 . - ix - 646 p.. - (Prentice-Hall Mathematics Series) . Langues : Anglais Catégories : 00-XX General:00AXX General and miscellaneous specific topics:00A05 General mathematics 26-XX Real functions :26-01 Instructional exposition (textbooks, tutorial papers, etc.) 30-XX Functions of a complex variable :30-01 Instructional exposition (textbooks, tutorial papers, etc.) 33-XX Special functions (33-XX deals with the properties of functions as functions) :33-01 Instructional exposition (textbooks, tutorial papers, etc.) 34-XX Ordinary differential equations:34-01 Instructional exposition (textbooks, tutorial papers, etc.) 35-XX Partial differential equations:35-01 Instructional exposition (textbooks, tutorial papers, etc.) Mots-clés : variable reelle Index. décimale : 34C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
2959	34C129	imprimé / autre	CRDM	34/EQUATIONS DIFFERENTIELLES ORDINAIRES	Disponible

Lectures on differential geometry / Shlomo Sternberg

Public ISBD Titre : Lectures on differential geometry Type de document : texte imprimé Auteurs : Shlomo Sternberg Editeur : Englewood Cliffs, NJ : Prentice-Hall, Inc Année de publication : 1964 Collection : Prentice-Hall Mathematics Series Importance : xi - 390 p. Langues : Anglais Mots-clés : euclidean spaces  differential geometric Index. décimale : 53C Monographie Lectures on differential geometry [texte imprimé] / Shlomo Sternberg . - Englewood Cliffs, NJ : Prentice-Hall, Inc, 1964 . - xi - 390 p.. - (Prentice-Hall Mathematics Series) . Langues : Anglais Mots-clés : euclidean spaces  differential geometric Index. décimale : 53C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7820	53C126	imprimé / autre	CRDM	53/GEOMETRIE DIFFERENTIELLE	Disponible

---

page 1/1