.

Ova knjiga obuhvata raznovrsne matematičke oblasti: Logiku Tablice istinitosti, logika iskaza, predikatski račun, logička kola, indukcija i dokazi. Teoriju skupova Kardinalnost skupova, relacije, parcijalno uređeni skupovi, relacije kongruencije, grafovi,…