Посилання Бондарчук Ю. В. Лекції з математичної логіки , Києво-Могилянська Академія. Stefan Bilaniuk A Problem Course in Mathematical Logic P. D. Magnus forall x: an introduction to formal logic Detlovs, Vilnis, and Podnieks, Karlis (University of Latvia), Introduction to Mathematical Logic. Stanford Encyclopedia of Philosophy: Stewart Shapiro Classical Logic Wilfrid Hodges First-order Model Theory Polyvalued logic and Quantity Relation Logic Polyvalued logic and Quantity Relation Logic Логіка Розділи математики