Lehrbuch
Logic and structure
From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary TOC:Introduction.- Propositional Logic.- Predicate Logic.- Completeness and Applications.- Second Order Logic.- Intuitionistic Logic.- Normalisation.- Goedel's Theorem.- Bibliography.- Index.-
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540208792
3540208798
- Maße
-
24 cm
- Umfang
-
X, 263 S.
- Ausgabe
-
4. ed.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
- Klassifikation
-
Mathematik
- Schlagwort
-
Mathematische Logik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (wer)
-
Springer
- (wann)
-
2004
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:22 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Lehrbuch
Beteiligte
- Dalen, Dirk van
- Springer
Entstanden
- 2004
Ähnliche Objekte (12)
Logic and structure
Elements of logic via numbers and sets
Mathematics of fuzzy sets and fuzzy logic
Logic and structure
Logic and structure
Crystal structure determination : with 13 tables
Elements of Logic
Contact mechanics and friction : physical principles and applications
Numbers and geometry
Language processing with Perl and Prolog : theories, implementation, and application
Particles and nuclei : an introduction to the physical concepts ; with 11 tables, and 58 problems and solutions
Particles and nuclei : an introduction to the physical concepts ; with 12 tables, and 58 problems and solutions
Logic and structure
Elements of logic via numbers and sets
Mathematics of fuzzy sets and fuzzy logic
Logic and structure
Logic and structure
Crystal structure determination : with 13 tables
Elements of Logic
Contact mechanics and friction : physical principles and applications
Numbers and geometry
Language processing with Perl and Prolog : theories, implementation, and application
Particles and nuclei : an introduction to the physical concepts ; with 11 tables, and 58 problems and solutions
Particles and nuclei : an introduction to the physical concepts ; with 12 tables, and 58 problems and solutions
Logic and structure
Elements of logic via numbers and sets
Mathematics of fuzzy sets and fuzzy logic
Logic and structure
Logic and structure
Crystal structure determination : with 13 tables
Elements of Logic
Contact mechanics and friction : physical principles and applications
Numbers and geometry
Language processing with Perl and Prolog : theories, implementation, and application
Particles and nuclei : an introduction to the physical concepts ; with 11 tables, and 58 problems and solutions