Matematikai logika 2. - Kezdőknek (160 ábrával - Réber László illusztrációival)

Ismertető: 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: 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 - További ismertető: "Belelapozás".