LOGICĂ MATEMATICĂ

Lucrarea se adresează tuturor celor care doresc să aprofundeze logica matematică, îndeosebi logica de ordinul I, indiferent de natura interesului lor în studiul acestei logici. Lucrarea nu asumă prerechizite matematice mai complicate decât cele reprezentate de matematica de liceu iar tehnicile matematice superioare folosite, atât cele din teoria mulţimilor cât şi cele algebrice, sunt introduse intuitiv, pe baza unor exemple, iar ulterior sunt definite în deplină rigoare formală. În scopul transparent de a descrie şi analiza unele sisteme logice, lucrarea îşi propune, pe de-o parte, să formeze şi dezvolte intuiţia în domeniul structurilor matematice presupuse de semantica logicii de ordinul I, cu o atenţie deosebită asupra înţelegerii paşilor demonstraţiilor unor teoreme semnificative şi, pe de altă parte, să prezinte instrumentele matematice folosite în studiul logicii cât se poate de clar şi riguros.