Filtern nach
Für die Filterung wurden keine Ergebnisse gefunden!
- Hardcover
- 331 Seiten
- Erschienen 1973
- Academic Press
inkl. MwSt. versandkostenfrei
Lieferzeit 1-3 Werktag(e)
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic....
6,41 €