• Campus Access
  • About MPG.eBooks
Skip to content
Search Tips
  • Home>
  • Non-classical logics, model th...
  • Description
Language
  • Advanced
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:
https://www.sciencedirect.com/science/bookseries/0...
Collection: Elsevier eBook collection Mathematics - Collection details see MPG.ReNa
    • Export to EndNoteWeb
    • Export to EndNote
    • Export to MARC
    • Export to BibTeX
  • Description
  • Table of Contents
  • Staff View
Description
Physical Description:xviii, 307 pages illustrations
ISBN:9780080954981

Similar Items

  • Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
    by: Cohen, L. Jonathan
    Published: (1982)
  • Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
    by: Crossley, John N.
    Published: (1967)
  • The axiomatic method
    by: Henkin, Leon
    Published: (1959)
  • Functional analysis, holomorphy, and approximation theory : proceedings of the Seminário de Análise Functional, Holomorfia e Teoria da Aproximaçao, Universidade Federal do Rio de Janeiro, August 4-8, 1980
    by: Barroso, Jorge Alberto
    Published: (1982)
  • Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
    by: Schmidt, H. Arnold
    Published: (1968)
Logo Max Planck Digital Library
  • Advanced Search
  • Recently Uploaded
  • Search History
  • Disclaimer
  • Privacy Policy
  • Cookie Settings
  • Contact
Loading...