Describir: Symbolische Logik und Grundlegung der exakten Wissenschaften