Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Call Number: | Libro Electrónico |
---|---|
Corporate Author: | |
Other Authors: | , , |
Format: | Electronic Conference Proceeding eBook |
Language: | Inglés |
Published: |
Amsterdam :
North-Holland Pub. Co.,
1977.
|
Series: | Studies in logic and the foundations of mathematics ;
v. 89. |
Subjects: | |
Online Access: | Texto completo |