Halmazelmélet és matematikai logika - BMETE91AM60