01962nam 2200457 450 00001581420050718115600.00-8247-1970-020030804d1999----km-y0itay0103----baengUSModels, algebras, and proofsselected papers of the 10. Latin American Symposium on Mathematical Logic held in Bogotáedited by Xavier Caicedo, Carlos H. MontenegroNew York [etc.]Marcel Dekkerc1999XIII, 448 p.26 cm.Lecture notes in pure and applied mathematics2032001Lecture notes in pure and applied mathematicsLogica matematicaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03-06Mathematical logic and foundation. Proceedings, conferences, collections, etc.03CxxMathematical logic and foundations. Model theory03ExxMathematical logic and foundations. Set theory03FxxMathematical logic and foundations. Proof theory and constructive mathematicsCaicedo,XavierMontenegro,Carlos H.Latin American symposium on mathematical logic<10.; 1996; Bogotá>441885ITUniversità della Basilicata - B.I.A.RICAunimarc000015814Models, algebras, and proofs82940UNIBASMONSCISCIENZEEXT0030120030804BAS011700EXT0030120030804BAS011702EXT0030120030901BAS01161520050601BAS011755batch0120050718BAS01105220050718BAS01111220050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA5Dipartimento MatematicaGENCollezione generaleMAT5021M50212003080451Riservati