Lupe
Suche

Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Support
€109.95
Zahlungsmethoden

Inhaltsverzeichnis

Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Einführung — 2. Deduktion in der Aussagenlogik — 3. Deduktion in der Prädikatenlogik — 4. Verdichtungen und Strategien — 5. Erweiterungen und Anwendungen — Anhang — 1. Aufgaben und Lösungen — 2. Literatur — 3. Deutsch-englisches Wörterbuch — 4. Liste der Symbole — 5. Register
Buy this ebook and get 1 more FREE!
Sprache Deutsch ● Format PDF ● Seiten 269 ● ISBN 9783110701128 ● Dateigröße 67.8 MB ● Verlag De Gruyter ● Ort Berlin/München/Boston ● Erscheinungsjahr 2020 ● Ausgabe 1 ● herunterladbar 24 Monate ● Währung EUR ● ID 7913662 ● Kopierschutz Adobe DRM
erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

16.225 Ebooks in dieser Kategorie