Lectures on propositional calculi - Wojicki, Ryszard (Publishing House of the Polish Academy of Sciences, 1984)