Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
Gerhard SchurzThis book comprises a basic and advanced course. The basic course introduces into propositional and predicate logic and the reconstruction of natural language arguments. The advanced course deals with predicate logic including metalogical results about (in)completeness and (un)decidability. Numerous exercises with downloadable solutions deepen the content. The second edition offers corrections of mistakes and didactical improvements.
年:
2020
出版:
2nd rev. ed.
出版社:
De Gruyter
语言:
german
页:
447
ISBN 10:
3110697394
ISBN 13:
9783110697391
文件:
PDF, 4.17 MB
IPFS:
,
german, 2020