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 variables435909UNINAING0101272nem0-2200385---450-99000934989040332120111202131418.0000934989FED01000934989(Aleph)000934989FED0100093498920110428f19501959km-y0itay50------baitaITa--------bl--aa-aabb-a--------a1:25000e0005230e0010000n0413500n0413000-d--b-----CeccanoDocumento cartograficoIstituto geografico militare2 ed.1:25000 ; proiezione conforme universale trasversa di Mercatore (E0°52'30''-E1°00'/N41°35'-N41°30')FirenzeIGM[1958]1 carta44 x 38 su foglio 62 x 53 cmCarta d'Italia159, quadrante 1, tavoletta SEIl meridiano di riferimento è M. Mario, RomaFoglio 159, quadrante 1 tavoletta S. E.LazioCarteIstituto geografico militare5005ITUNINARICAUNIMARCMP990009349890403321MP Cass.2 159, 1(2)B.F.L.F. 5507ILFGEILFGECeccano767674UNINA00813nam0-22002771i-450-990006418380403321000641838FED01000641838(Aleph)000641838FED0100064183820001025d1947----km-y0itay50------baitay-------001yySomnium scipionisM. T. Ciceronecon commento di Arturo PasderaTorinoChiantore1947100 p.19 cmCollezione di classici greci e latiniàCicero,Marcus Tullius<106 a.C.-43 a.C.>82411Pasdera,Arturo187458ITUNINARICAUNIMARCBK990006418380403321BIB. BAT.1452BATBATSomnium scipionis649481UNINA