Sökt på: john etchemendy
totalt 5 träffar
Language, Proof, and Logic
This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, …
Tarski's World: Revised and Expanded
"Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the …
Logical Reasoning with Diagrams and Sentences
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of …
Sprache, Beweis Und Logik. Band II: Anwendungen Und Metatheorie
Band II: Anwendungen und Metatheorie Dieser 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 …