ENGLISH

Logic and structure

By Dirk , Dalen

Book information

Publisher
Springer
Year
2013
ISBN
9781447145578, 9781447145585, 1447145577, 1447145585
Language
english
Format
PDF
Filesize
2 MB (2425851 bytes)
Series
Universitext
Edition
5th ed
Pages
x, 263 pages : illustrations ; 24 cm\267
Time added
2020-07-26 19:24:52
Mathematische Logik;LogicSymbolic and mathematical

Description

'Logic and Structure' contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second-Order Logic -- Intuitionistic Logic -- Normalization -- Gödel's Theorem.

Similar books