TY  - GEN
AU  - Bergmann,Eberhard
AU  - Noll, Helga
TI  - Mathematische Logik mik Informatik-Anwendungen
T2  - Heidelberger TaschenbuÃŒÂ(cher ; Bd. 187 : Sammlung Informati
SN  - 0387082026
U1  - 511/.3 
PY  - 1977///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Logic, Symbolic and mathematical
KW  - Electronic data processing
N1  - Contine bibliogr. si index
ER  -