A proof-theoretic investigation of a logic of positions
scientific article; zbMATH DE number 1985943
scientific article