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