01511nam 2200385 450 00001433120050718115500.03-540-15236-920030619d1985----km-y0itay0103----baengDEMethods in mathematical logicproceedings of the 6. Latin American Symposium on mathametical logic held in Caracas, Venezuela, August 1-6, 1983edited by C. A. Di PriscoBerlin [etc.]Springerc1985VII, 407 p.25 cm.Lecture notes in mathematics11302001Lecture notes in mathematicsLogica matematicaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03-XXMathematical logic and foundationDi Prisco,Carlos AugustoLatin American symposium on mathematical logic<6.; 1983; Caracas>294979ITUniversità della Basilicata - B.I.A.RICAunimarc000014331Methods in mathematical logic80023UNIBASMONSCISCIENZEEXT0020120030619BAS01113320050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT58623S586232003061951Riservati