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
情報なし
- 著者
- Arruda, Ayda I、Costa, Newton C. A. da、Chuaqui, R、Latin-American Symposium on Mathematical Logic, 3d, State University of Campinas, 1976
- 出版社
- North-Holland Pub. Co.
- 発売日
- 1977年1月発売
- 価格
- 価格未定（税込・書誌情報提供：openBD）
- ISBN
- 9780720407525
発売済み
シリーズの既刊・続刊
- Residuated lattices : an algebraic glimpse at substructural logics
- Logic, methodology and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology and Philosophy of Science, Moscow, 1987 / edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
- Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain July 20-25, 1987 / edited by H.-D. Ebbinghaus ... [et al.]
- Intensional mathematics / edited by Stewart Shapiro