Változók, Feltétel, és Számítás: valódi elágazó logika és matematika