Электронный каталог: Brazilian conference on mathematical logik (3;1979;Recife), - Proceedings of the third Brazilian conference on mathematical logik (UFPe-Recife, December 17-22,...