Język rachunku zdań, naturalna dedukcja, drzewa dowodów w rachunku zdań, reguły dla spójników koniunkcji, implikacji, negacji, podwójnej negacji, dyzjunkcji, reguły pochodne, reguła dowodu niewprost, prawo wyłączonego środka.
Intuicjonizm a logika klasyczna.
