MODERNE LOJIK: ABRISS DER FORMALEN LOGIK - Klaus, Georg (1966)