Klasična logika sudova:
sintaksa, semantika, normalne forme, testovi valjanosti, hilbertovski sistem
računa sudova, teoremi dedukcije,
adekvatnosti i potpunosti, prirodna dedukcija. Teorije prvog reda:
sintaksa, semantika, preneksna normalna forma, glavni test za logiku prvog
reda, hilbertovski sistem za logiku prvog reda, teoremi dedukcije, adekvatnosti
i potpunosti, primjeri teorija prvog reda.