TY -
BOOK
AU - Kreowski, Hans-Jörg
TI -
Logische Grundlagen der Informatik
PB - Oldenbourg
SN - 3486207733
KW - Logic, symbolic and mathematical
KW - Predicate calculus
KW - Mathematische Logik
KW - Informatik
PY - 1991
BT - Handbuch der Informatik / hrsg. von Albert Endres . ; 1. Grundlagen ; 1
CY - München
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -