Cover Image
Read Now

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

Bibliographic Details
Main Author: Arruda, A. I.
Corporate Author: Latin-American Symposium on Mathematical Logic ( 1976, State University of Campinas)
Other Authors: Costa, Newton C. A. da, Chuaqui, R.
Format: eBook
Language:English
Published: Amsterdam North-Holland Pub. Co. 1977, 1977
Series:Studies in logic and the foundations of mathematics
Subjects:
Logique Mathématique Non Classique / Congrès
Fonctions Calculables / Congrès
Nonclassical Mathematical Logic / Fast / (ocolc)fst01038606
Computable Functions / Fast / (ocolc)fst00871985
Nonclassical Mathematical Logic / Congresses
Model Theory / Fast / (ocolc)fst01024368
Model Theory / Congresses
Théorie Des Modèles / Congrès
Computable Functions / Congresses
Mathematics / General / Bisacsh
Online Access:
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
Table of Contents:
  • I. Non classical logics
  • II. Model theory
  • III. Computability
  • Includes bibliographical references

Similar Items