00774nam0-22002771i-450-990002575900403321000257590FED01000257590(Aleph)000257590FED0100025759020000920d1965----km-y0itay50------baENG<<A >>transfinite type theory with type variablesP. B. Andrews.AmsterdamNorth Holland1965.xv, 143 p.24 cmTeoria dei numeri512Andrews,P.B.368362ITUNINARICAUNIMARCBK990002575900403321MXXXIII-A-29418MASMASTransfinite type theory with type variables435909UNINAING0101352nas 2200445- 450 991089420170332120230123213018.02148-7316(OCoLC)1048103913(CKB)3710000000520852(CONSER)--2019252192(DE-599)ZDB2807248-0(EXLCZ)99371000000052085220180611a20139999 --- -engur|n|||||||||txtrdacontentcrdamediacrrdacarrierAdvances in hospitality and tourism researchAntalya, Turkey :Akdeniz University Publishing House,2013-1 online resourceRefereed/Peer-reviewed2147-9100 AHTRHospitality industryPeriodicalsTourismPeriodicalsHospitality industryfast(OCoLC)fst00961126Tourismfast(OCoLC)fst01153142Periodicals.fastPeriodicals.lcgftHospitality industryTourismHospitality industry.Tourism.Akdeniz Üniversitesi.Turizm Fakültesi,JOURNAL9910894201703321Advances in hospitality and tourism research4264988UNINA