Produktbild: Logical Methods

Logical Methods

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2023

Verlag

University Presses

Seitenzahl

284

Maße (L/B/H)

25,1/17,8/2 cm

Gewicht

620 g

Sprache

Englisch

ISBN

978-0-262-54484-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.01.2023

Verlag

University Presses

Seitenzahl

284

Maße (L/B/H)

25,1/17,8/2 cm

Gewicht

620 g

Sprache

Englisch

ISBN

978-0-262-54484-9

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

Email: gpsr@libri.de

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

Die Leseprobe wird geladen.
  • Produktbild: Logical Methods
  • How to Read This Book xi
    I Propositional Logic
    1 Introduction 3
    2 Connectives: and & if 19
    3 More Connectives: not & or 35
    4 Facts about Proofs & Provability 49
    5 Models & Counterexamples 75
    6 Soundness & Completeness 91
    II Modal Logic
    7 Necessity & Possibility 117
    8 Actuality & 2D Logic 153
    9 Modal Natural Deduction 167
    III Predicate Logic
    10 Proofs for Predicate Logic 189
    11 Models for Predicate Logic 217
    12 Coda 245
    Glossary 255
    References 261
    Symbol Index 267
    Subject Index 269