Dieses Buch ?ber elementare Aussagenlogik (wie auch seine geplante Fortsetzung ?ber Elementare Pr?dikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universit?t M?nchen entstanden. Es basiert auf der ?berzeugung, da? f?r Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa f?r Ingenieure oder Physiker, sondern auch ein anderes Men?, als es sich an unseren Universit?ten...