Matematička logika - Vuković, Mladen (Zagreb: Element, 2009)
Logika sudova. Jezik logike sudova. Interpretacije. Normalne forme. Testovi valjanosti. Rakun sudova ( Frege-Lukasiewiczev sistem). Prirodna dedukcija. Alternativne aksiomatizacije logike sudova. Neke neklasične logike sudova. Logika prvog reda. Jezik teorije prvog reda. Interpretacije i modeli. Preneksna normalna forma. Glavni test. Račun teorija prvog reda. Teorem potpunosti i posljedice. Primjeri teorija prvog reda. Ultraprodukti.