Heinrich Wansing Predicate Logics on Display. 49-75 1999 62 Studia Logica 1 db/journals/sLogica/sLogica62.html#Wansing99