Logical methods
"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"--
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cambridge, Massachusetts, London, England
The MIT Press
2023
|
| Schriftenreihe: | philosophy
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | "An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"-- |
|---|---|
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | xiv, 270 Seiten |
| ISBN: | 9780262544849 978-0-262-54484-9 |