Stadler i Bauer o formalnoj logici - Kovač, Srećko (Array, 1995)