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.