- 311 , 313 konnektiiveja
- 323 formalisointi
- 337a, 346, totuustaulukko
- 345 de Morganit
- 346 loogiset piirit ja totuustaulut