Author: Arruda, Ayda I. et al.
Title: Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Description: North-Holland Publishing Co. 1977 cloth, 307 pp. Perfect copy. ISBN (0-7204-0752-4) (code Sc-57)

Keywords: Logica mathematics


See more books from our catalog: Science