U devetom nastavku serijala o logici, Zvonimir Šikić pokazuje kako aksiomi prvog reda ne mogu jednoznačno odrediti beskonačne matematičke strukture. Zbog tog ograničenja, poznati sustavi poput aritmetike, realnih brojeva i teorije skupova neizbježno imaju i svoje nestandardne modele.
U 8. nastavku serijala o logici, Zvonimir Šikić se bavi interpretacijama kvantificiranih formi, kroz koje one dobivaju svoje značenje. Korak po korak uvodi relacijske strukture i pojam istinitosti forme u strukturi, te preko generalizirane implikacije i Bethovih semantičkih stabala dolazi do potpunosti Gentzenovog sekventnog Q-sustava za logiku predikata.
U razradi apstrakata i kvantifikacije, Zvonimir Šikić pokazuje kako se složene tvrdnje prevode u predikatske forme, uvodi pravila prolaza kvantifikatora te dokazuje ekvivalentnost i odlučivost monadske logike, dok ističe da su poliadski predikati izražajniji i da redoslijed kvantifikatora tada postaje presudan.
U uvodu u bulovsku logiku pojmova, Zvonimir Šikić povezuje pojmovne i egzistencijske forme, uvodi interpretacije kroz B–strukture i objašnjava kako logičke veze među pojmovima zahtijevaju sofisticiranije testove valjanosti nego što ih nudi istinosno–funkcionalna analiza.
Aristotelova silogistika bila je prva formalna logička teorija, a dvije tisuće godina bila je i jedina simbolička logika, piše Zvonimir Šikić. Ona se može svesti na jednostavnu primjenu Vennovih dijagrama, no bitna je kako bi se jasnije predočio napredak na polju logike u proteklih sto pedeset godina.
U četvrtom nastavku serijala o povijesti logike, Zvonimir Šikić pokazuje kako su Fregeov modus ponens i minimalna logika evoluirali u Knealeove multiplarne dedukcije koje zatvaraju krug korektnosti, potpunosti i odlučivosti.
Ontološki dokaz Kurta Gödela logički vodi do Boga koji nužno postoji, piše Zvonimir Šikić. No taj “matematički” Bog dijeli malo toga s božanstvima stvarnih vjera. Međutim, čim dopustimo da pozitivna svojstva variraju, otvara se prostor za pluralnost bogova bližu religijskoj praksi.
U trećem nastavku serijala o logici, Zvonimir Šikić fokusira se na pojmove logičke korektnosti, potpunosti i kompaktnosti, te predstavlja pravila i definicije za konstrukciju Bethovih semantičkih stabala.
U drugom nastavku serijala o logici, Zvonimir Šikić proširuje teorijske temelje logike sudova funkcijama kondicionalom i bikondicionalom, te pojašnjava logički pojam implikacije unutar IF-sekventi.
U prvom nastavku serijala o logici, Zvornimir Šikić predstavlja njene temeljne forme, definicije i teoreme, te pokazuje kako je apstrahiranje formi iz prirodnih jezika logiku čvrsto vezalo uz njihovu sintaksu.