01409nam 2200385 450 00000150320050718115000.0--------d1933----km-y0itay0103----bafraITMagna GraeciaLes villes mortes d'ItalieNovara<<Istituto geografico>> De Agostini sezione Calcocromia1933 - IXENIT (Italian State Tourist Departement)48 p. ill.20 cmSul front.: "Ente Nazionale Industrie turistiche ferrovie dello Stato". Sul verso della cop.: "Renseignements pratiques"Edizione franceseItalia meridionaleDescrizioni e viaggiITUniversità della Basilicata - B.I.A.RICAunimarc000001503Magna Graecia70489UNIBASMONLETMONOGRLETTEREGINO0119990719BAS011135GINO0119990719BAS01113620000913BAS01142420000920BAS01182820001010BAS01163120050601BAS011752batch0120050718BAS01104720050718BAS01110620050718BAS01113620050718BAS011150BAS01BAS01BOOKBASA1Polo Storico-UmanisticoFDEPFondo De PilatoFD/14991499D14991999071952Rari01160nam a22003015i 4500991002203129707536cr nn 008mamaa121227s1984 gw | s |||| 0|eng d9783540391197b1413729x-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323AMS 03DAMS 03FComputation and proof theory[e-book] :proceedings of the logic colloquium held in Aachen, July 18–23, 1983, part II /edited by Egon Börger ... [et al.]Berlin :Springer,19841 online resource (viii, 475 p.)Lecture Notes in Mathematics,0075-8434 ;1104MathematicsLogic, Symbolic and mathematicalBörger, EgonSpringer eBookshttp://dx.doi.org/10.1007/BFb0099476An electronic book accessible through the World Wide Web.b1413729x03-03-2205-09-13991002203129707536Computation and proof theory262578UNISALENTOle01305-09-13m@ -enggw 00