00960nam a22002411i 450099100053640970753620021015153616.0021015s1983 it |||||||||||||||||ita b12019288-39ule_instARCHE-010908ExLDip.to Filologia Ling. e Lett.itaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.853.9Ori, Pier Damiano250380La carrozza di san Pietro /Pier Damiano Ori, Giovanni Perich[Milano] :Editoriale nuova,1983111 p. ;20 cmPerich, Giovanniauthorhttp://id.loc.gov/vocabulary/relators/aut250381.b1201928802-04-1401-04-03991000536409707536LE008 TS H XI 2812008000396930le008-E0.00-l- 00000.i1230764601-04-03Carrozza di san Pietro1457616UNISALENTOle00801-04-03ma -itait 3101371nam a2200361 i 450099100078471970753620020507173542.0950911s1981 de ||| | eng 3540108505b10756899-39ule_instLE01302280ExLDip.to Matematicaeng510511.3AMS 03-06AMS 03-XXAMS 03FRichman, Fred48605Constructive mathematics :proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 /edited by F. RichmanBerlin :Springer-Verlag,1981vi, 347 p. ;25 cm.Lecture notes in mathematics,0075-8434 ;873Includes bibliographical references and indexConstructive mathematicsCongressesIntuitionistic mathematicsCongressesMathematical logic and foundationsCongressesProof theoryCongresses.b1075689923-02-1728-06-02991000784719707536LE013 03-XX RIC21 (1981)12013000034898le013-E0.00-l- 00000.i1085130628-06-02Constructive mathematics339692UNISALENTOle01301-01-95ma -engde 01