Dettaglio del documento
Methods in Mathematical Logic : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983
Fa parte di
Lecture notes in mathematics
, 1130
