Aussagenlogik Zeichen. Skripsi geodesi undip. Markis menu. ZEN32.