author = {Dr. Heinrich Rolletschek},
title = {{Logic 2 (Lecture Notes)}},
language = {english},
number = {07-04},
year = {2007},
month = {June},
institution = {RISC},
keywords = {Logic},
length = {150}