This paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. This edition contains many more examples and exercises and is reorganized for greater accessibility.
Formal Logic: Its Scope and Limits Zusammenfassung
Formal Logic: Its Scope and Limits Richard Jeffrey
This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.
Inhaltsverzeichnis
1. Truth-Functional Logic2. Truth Trees3. Generality4. Multiple Generality5. Identity6. Functions7. Uncomputability8. Undecidability9. Incompleteness Solutions. Index
Zusätzliche Informationen
GOR007843468
9780070323575
0070323577
Formal Logic: Its Scope and Limits Richard Jeffrey
Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.
Dies ist ein gebrauchtes Buch. Es wurde schon einmal gelesen und weist von der früheren Nutzung Gebrauchsspuren auf. Wir gehen davon aus, dass es im Großen und Ganzen in einem sehr guten Zustand ist. Sollten Sie jedoch nicht vollständig zufrieden sein, setzen Sie sich bitte mit uns in Verbindung.