Maciaszek, J. Teoriodowodowe Kryteria logiczności. FPhil 2003, 92-107.