@Article{394734, author = "", title = ""The deduction theorem for Ɓukasiewicz many-valued propisitional calculi", "Studia Logica" T.15 (1964) : [recenzja]", year = 1965, volume = 1, number = 1, journal = Studia Philosophiae Christianae, pages = s. 282, }