First-order logic. Günter breitzke.

Klein gegen groß bewerben. Roller für fenster.