Methods in mathematical logic : proceedings of the 6th Latin American symposium on mathematical logic held in Caracas, Venezuela, August 1-6, 1983 / C. A. Di Prisco
Type de document : Livre numériqueCollection : Lecture notes in mathematics, 1130Langue : anglais.Éditeur : Berlin : Springer-Verlag, 1985ISBN: 9783540152361.ISSN: 1617-9692.Sujet MSC : 03-06, Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundationsEn-ligne : SpringerlinkNo physical items for this record
There are no comments on this title.