TY  - GEN
AU  - Kroger, F
TI  - An extension of propositional logic by algorithmic concepts
T2  - TUM  Abteilung Mathematik
CY  - Munchen
PB  - Technischen Universitat Munchen
N1  - Contine bibliografie
ER  -