• RecordNumber
    20068
  • LC Class
    QA
  • LC Number
    9.4
  • LC CutterNumber
    .L37
  • LC Date
    1976
  • Dewey Class
    511
  • Dewey Date
    /.8
  • Title

    Non-classical logics, model theory, and computability

  • Author Statement
    edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
  • Publication
    North-Holland Pub. Co. ;
  • Collation
    xviii, 307 p. : ill. ; 23 cm
  • Series
    Studies in logic and the foundations of mathematics ; v. 89
  • Notes
    Errata slip inserted
  • Subject

    Nonclassical mathematical logic -- Congresses,Model theory -- Congresses,Computable functions -- Congresses

  • ADDED ENTRIES
    Arruda, Ayda I,Costa, Newton C. A. da,Chuaqui, R
  • Holding Info.
    0720407524
  • DocumentNumber
    706
  • SubTitle
    proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
  • Biblography
    Includes bibliographies.
  • BL
    BL