Matematikai logika kezdőknek 1-2.

A matematikai logika rövid múltra tekinthet vissza, a hagyományos arisztotelészi logika hosszúra. Mégsincs köztük más különbség, mint az, hogy az egyik ugyanannak a tudománynak az egyik fejlődési stádiumát képviseli, a másik a másikat. A hagyományos klasszikus logika úgy viszonylik a matematikai logikához, mint az embrió a felnőtt szervezethez. Tartalom: I. Kötet - Mi a matematikai logika? - Néhány logikai művelet - Algebra és logika - A logikai műveletek áttekintése - Azonosság és következtetés - Keressük a konklúziót - Híd az elmélettől a gyakorlat felé - A feladatok megoldása II. Kötet - Új utak keresése - Egyváltozós logikai függvények. Halmazok - Következtetés rajz útján - Következtetés formális lépésekben - Kvantorokkal kapcsolatos következtetések - Több változós logikai függvények. Relációk - Formalizálás és levezetés több változós függvények körében - Számadás