Mathematics Metamathematics
Es wurden insgesamt 17 Einträge zu 'Mathematics Metamathematics' gefunden (Stand: 23.05.2008).
Sehen Sie sich die aktuell angebotenen Bücher zu 'Mathematics Metamathematics' an.
Robinson, Abraham; (L.E.J. Brouwer, E.W. Beth, & A. Heyting, Series Editors): INTRODUCTION TO MODEL THEORY AND TO THE METAMATHEMATICS OF ALBEGRA : 2nd Edition (Studies in Logic & Foundations of Mathematics Series) Amsterdam, Netherlands North-Holland Publishing 1965
ISBN: B0007IT538 Very Good
Text/BRAND NEW. Yellow linen boards/VG; light soiling & surface losses to upper spine & upper/leading edges of back (suggesting portions of dust jacket were once stuck on). First published in 1963, this 2nd Edition includes the application of Non-standard Analysis of Model theory. The 9 chapters are: Chapter I, The Lower Predicate Calculus; II, Algebraic Theories; III, Some Concepts & Methods of Model Theory; IV, Completeness; V, Definability; VI, Generalization of Algebraic Concepts; VII, Metamathematical Theory of Ideals; VIII, Metamathematical Theory of Varieties; and, IX, Selected Topics. 2nd Edition, First Thus No Jacket Hard Cover
[SW: Mathematics/Metamathematics/Textbook/Abstract Algebra/Logic Analysis/Symbolic Logic/Model Theory/Non-Standard AnalysisMathematics]
Venet, Bernar. Exploited Subjects. New York.,
(1970). Nicht paginiert. Neun gelochte Pappblätter (18 S.) mit vier verschraubten Ringen verbunden , darstellend: Space Sciences. Mathematics, Industriel Designs. Chimistry. Nuclear Physics. Mathematics by Computations. Metamathematics. Medicine - Adviser: Dr. Cornfield. Meteorology. Stock Market, Sociology, Politics. Ein Blatt ausfaltbar. .O. V. (Multiples Inc, Marian Goodman and partners). Fotografien von Shunk-Kender. 8° (18 x 18cm).
[SW: Kunst.]
Kneebone (G.T.): Mathematical Logic and the Foundations of Mathematics - An Introductory Survey, Dover 2001
Contents, Chapitres : Preface, Acknowledgments, Contents, xiv, Text, 435 pages - 1. Mathematical logic : Traditional logic - Symbolic logic : A. The propositional calculus - B. The restricted calculus of predicates - Further developments of symbolic logic - 2. Foundations of mathematics : The critical movement in mathematics in the Nineteenth century - The logistic identification of mathematics with logic - Formalized mathematics and metamathematics - Gödel's theorems on the inherent limitations of formal systems - Intuitionism - Recursive arithmetic - The axiomatic theory of sets - 3. Philosophy of mathematics : The epistemological status of mathematics - The application of mathematics to the natural world - Logic and the activity of thinking - Appendix : Developments since 1939 in the study of the foundations of mathematics - Bibliography near fine copy
1st was 1963 Book Condition, Etat : Bon paperback In-8 1 vol. - 449 pages Malicorne, France
[SW: Logique mathematique]
Robinson, Abraham: Introduction to model theory and to the metamathematics of algebra. Amsterdam, North-Holland Publishing Company, 1965,
22x15 cm, IX, 284 S., OLwd. m. goldgeprägter Rückenbeschriftung, diese leicht berieben, Stempel auf Kopfschnitt und Innendeckel, wenige Bleistiftmarkierungen im Text, sehr gutes Exemplar. Studies in logic and the foundations of mathematics.; Studies in logic and the foundations of mathematics.
[SW: Mathematik Algebra, englisch]