Carnap szintaxiselmélete és a logikai típusok - Áron László (2002)