Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Soporte
€109.95
Métodos de pago

Tabla de materias

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
¡Compre este libro electrónico y obtenga 1 más GRATIS!
Idioma Alemán ● Formato PDF ● Páginas 269 ● ISBN 9783110701128 ● Tamaño de archivo 67.8 MB ● Editorial De Gruyter ● Ciudad Berlin/München/Boston ● Publicado 2020 ● Edición 1 ● Descargable 24 meses ● Divisa EUR ● ID 7913662 ● Protección de copia Adobe DRM
Requiere lector de ebook con capacidad DRM

Más ebooks del mismo autor / Editor

16.016 Ebooks en esta categoría