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".