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

著者

• Latin-American Symposium on Mathematical Logic
• Arruda, Ayda I.
• Costa, Newton C. A. da
• Chuaqui, R.

書誌事項

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

edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui

（Studies in logic and the foundations of mathematics, v. 89）

North-Holland Pub. Co. , sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977

注記

Errata slip inserted

Includes bibliographies

詳細情報

• NII書誌ID(NCID): BA12529662
• ISBN:
  • 0720407524
• LCCN: 77007366
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Amsterdam ; New York,New York
• ページ数/冊数: xviii, 307 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA9.4
  • DC : 511/.8
• 件名:
  • LCSH : Nonclassical mathematical logic -- Congresses
  • LCSH : Model theory -- Congresses
  • LCSH : Computable functions -- Congresses
• 親書誌ID:
  • BA00099329