2 Ergebnisse.

Band I: Aussagen- und Prädikatenlogik Mit Sprache, Beweis und Logik liegt nun die auf zwei Bände angelegte deutsche Über-Set-zung des erfolgreichen Lehrbuchs Language, Proof and Logic vor. Band I führt in die klas-si-sche Aussagen- und Prädikatenlogik ein und übertrifft dabei andere Logikeinführungen an Aus-führ-lichkeit und Praxisnähe bei weitem. Den Text zeichnen u.a. die fol-gen-den Punkte aus: Der Text zeigt zahlreiche ...

Band II: Anwendungen und MetatheorieDieser Band knüpft sowohl inhaltlich als auch methodisch nahtlos an den ersten Band von Sprache, Beweis und Logik an. Dabei führt Band II weit über die üblichen Einführungen hinaus und eig-net sich als Textgrundlage für einen Fortsetzungskurs zur üblichen Logikeinführung. Zusammen ergeben beide Bände somit eine homogene Einführung in die Logik, für die bislang Texte verschiedener ...