Elsőrendű logika - Hankovszky Tamás (Akadémiai Kiadó Budapest, 2018)