Theory of Logical Calculi by Wojcicki, Ryszard