Text this: S. Leśniewski's lecture notes in logic /