ISBN: 9780387942582
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomati… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
1996, ISBN: 0387942580
2nd ed. 1994 Gebundene Ausgabe Fachspezifischer Unterricht, Mathematik, Mathematische Grundlagen, Arithmetic; Equivalence; Mathematische Logik; compactness theorem; Model Theory; proof,… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1996, ISBN: 0387942580
[EAN: 9780387942582], Gebraucht, sehr guter Zustand, [PU: Springer, New York], MATHEMATICS, PROOFS, LOGIC, THEORY, (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematic… Mehr…
AbeBooks.de Russ States, Oil City, PA, U.S.A. [147217] [Rating: 5 (von 5)] NOT NEW BOOK. Versandkosten: EUR 29.54 Details... |
ISBN: 9780387942582
[ED: Hardcover], [PU: Springer US], DE, [SC: 5.20], wie neu, privates Angebot, 235x155 mm, 291, [GW: 1350g], Banküberweisung, Internationaler Versand, [CT: Naturwissenschaft/Mathematik / … Mehr…
booklooker.de |
1994, ISBN: 0387942580
[EAN: 9780387942582], Neubuch, [PU: Springer], New Copy. Customer Service Guaranteed, Books
AbeBooks.de GoldBooks, Austin, TX, U.S.A. [71454205] [Rating: 5 (von 5)] NEW BOOK. Versandkosten: EUR 28.62 Details... |
ISBN: 9780387942582
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomati… Mehr…
1996, ISBN: 0387942580
2nd ed. 1994 Gebundene Ausgabe Fachspezifischer Unterricht, Mathematik, Mathematische Grundlagen, Arithmetic; Equivalence; Mathematische Logik; compactness theorem; Model Theory; proof,… Mehr…
1996
ISBN: 0387942580
[EAN: 9780387942582], Gebraucht, sehr guter Zustand, [PU: Springer, New York], MATHEMATICS, PROOFS, LOGIC, THEORY, (1996), 290pp, 2nd ed., 2nd printing, 'Undergraduate Texts in Mathematic… Mehr…
ISBN: 9780387942582
[ED: Hardcover], [PU: Springer US], DE, [SC: 5.20], wie neu, privates Angebot, 235x155 mm, 291, [GW: 1350g], Banküberweisung, Internationaler Versand, [CT: Naturwissenschaft/Mathematik / … Mehr…
1994, ISBN: 0387942580
[EAN: 9780387942582], Neubuch, [PU: Springer], New Copy. Customer Service Guaranteed, Books
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Mathematical Logic H.-D. Ebbinghaus Author
EAN (ISBN-13): 9780387942582
ISBN (ISBN-10): 0387942580
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer New York Core >2 >T
308 Seiten
Gewicht: 0,625 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-04T07:07:19+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-23T12:36:36+02:00 (Berlin)
ISBN/EAN: 9780387942582
ISBN - alternative Schreibweisen:
0-387-94258-0, 978-0-387-94258-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: thomas heinz, ebbinghaus heidi, ebbinghaus flum thomas, heinz dieter, wolfgang thomas, ebinghaus, and thomas
Titel des Buches: log, mathematical logic hardback, undergraduate text, ebbinghaus
Daten vom Verlag:
Autor/in: H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Titel: Undergraduate Texts in Mathematics; Mathematical Logic
Verlag: Springer; Springer US
291 Seiten
Erscheinungsjahr: 1994-06-10
New York; NY; US
Sprache: Englisch
64,15 € (DE)
65,95 € (AT)
92,18 CHF (CH)
Available
X, 291 p.
BB; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Arithmetic; Equivalence; Logic; Mathematische Logik; compactness theorem; mathematical logic; model theory; proof; Mathematical Logic and Foundations; Mathematics Education; Mathematische Grundlagen; Fachspezifischer Unterricht; Mathematik; BC
A.- I Introduction.- II Syntax of First-Order Languages.- III Semantics of First-Order Languages.- IV A Sequent Calculus.- V The Completeness Theorem.- VI The Löwenheim-Skolem and the Compactness Theorem.- VII The Scope of First-Order Logic.- VIII Syntactic Interpretations and Normal Forms.- B.- IX Extensions of First-Order Logic.- X Limitations of the Formal Method.- XI Free Models and Logic Programming.- XII An Algebraic Characterization of Elementary Equivalence.- XIII Lindström’s Theorems.- References.- Symbol Index.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780343942588 Mathematical Logic (Undergraduate Texts in Mathematics) (H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas)
- 9780343942588 Mathematical Logic (Undergraduate Texts in Mathematics) (H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas)
- 9781475723571 Mathematical Logic (Undergraduate Texts in Mathematics) (Ebbinghaus, H. D.)
- 9780387908953 Mathematical Logic: Undergraduate Texts in Mathematics (H.D.; J. Flum; W. Thomas Ebbinghaus)
- Mathematical Logic. (Ebbinghaus, H.-D.; Flum, J.; Thomas, W.)
< zum Archiv...