Elsőrendű logika - Hankovszky Tamás (Budapest, 2014)