Title: Badania nad teorją dowodu
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic