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.-
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540208792
3540208798
- Dimensions
-
24 cm
- Extent
-
X, 263 S.
- Edition
-
4. ed.
- Language
-
Englisch
- Notes
-
graph. Darst.
- Classification
-
Mathematik
- Keyword
-
Mathematische Logik
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2004
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 11:58 AM CET
Data provider
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Lehrbuch
Associated
- Dalen, Dirk van
- Springer
Time of origin
- 2004
Other Objects (12)
Logic and structure
Mathematics of fuzzy sets and fuzzy logic
Elements of logic via numbers and sets
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
Mathematics of fuzzy sets and fuzzy logic
Elements of logic via numbers and sets
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
Mathematics of fuzzy sets and fuzzy logic
Elements of logic via numbers and sets
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