complog.md

---
layout: course

title: Computational Logic
instructor:
	- mkohlhase
    - frabe
    - dmueller
	
organization: Jacobs University
semesters:
    - Fall05
    - Fall07
    - Fall09
    - Fall11
    - Fall13
    - Fall15
---
Theory and machine-oriented inference for propositional, first-order, higher-order, modal,
and description logics.