Descripción del título
Monografía
monografia Rebiun17060954 https://catalogo.rebiun.org/rebiun/record/Rebiun17060954 cr ||||||||||| 100119s1985 gw j 000 eng d 9783540152361 978-3-540-15236-1 UIB (305488) CBUC 991024016389706706 CBUC Methods in Mathematical Logic Recurs electrònic] Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983 by Carlos A. Di Prisco Berlin, Heidelberg Springer Berlin Heidelberg 1985 Berlin, Heidelberg Berlin, Heidelberg Springer Berlin Heidelberg Lecture notes in mathematics (Springer-Verlag) 1130 Matemàtica Logic, Symbolic and mathematical Mathematical Logic and Foundations Di Prisco, Carlos Augusto ed SpringerLink Lecture notes in mathematics (Springer-Verlag) 1130