Kính lúp
Trình tải tìm kiếm

Wolfgang Bibel 
Deduktion 
Automatisierung der Logik

Ủng hộ
€109.95
phương thức thanh toán

Mục lục

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!
Ngôn ngữ tiếng Đức ● định dạng PDF ● Trang 269 ● ISBN 9783110701128 ● Kích thước tập tin 67.8 MB ● Nhà xuất bản De Gruyter ● Thành phố Berlin/München/Boston ● Được phát hành 2020 ● Phiên bản 1 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 7913662 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

16.225 Ebooks trong thể loại này