Skip to main content
HOME

You are here

Home » Logik und Diskrete Strukturen » Resolution, Kompaktheit, Prädikatenlogik informell