Celem przedmiotu jest wykład rachunku zdań i rachunku predykatów w ujęciu aksjomatycznym oraz omówienie podstawowych zagadnień teorii mnogości. Student pozna system logiki klasycznej i zobaczy, jak stosuje się on do formalizacji teorii matematycznych. Student zapozna się również z pojęciem dowodu i konsekwencji oraz z ich własnościami metalogicznymi
