Cover Image

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /

Show other versions (1)
Bibliographic Details
Corporate Authors: Latin-American Symposium on Mathematical Logic State University of Campinas, ScienceDirect (Online service)
Other Authors: Arruda, A. I. (Ayda Ignez), Costa, Newton C. A. da, Chuaqui, R.
Format: Conference Proceeding eBook
Language:English
Published: Amsterdam : North-Holland Pub. Co., 1977.
Series:Studies in logic and the foundations of mathematics ; v. 89.
Subjects:
Nonclassical mathematical logic > Congresses.
Model theory > Congresses.
Computable functions > Congresses.
Logique mathématique non classique > Congrès.
Théorie des modèles > Congrès.
Fonctions calculables > Congrès.
MATHEMATICS > General.
Computable functions
Model theory
Nonclassical mathematical logic
Electronic books.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:1 online resource (xviii, 307 pages) : illustrations.
Bibliography:Includes bibliographical references.
ISBN:9780080954981
0080954987