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

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 State University of Campinas
その他の著者: Arruda, A. I. (Ayda Ignez), Costa, Newton C. A. da, Chuaqui, R.
フォーマット: 会議録 図書
言語:English
出版事項: Amsterdam ; New York : North-Holland Pub. Co. , 1977.
シリーズ:Studies in logic and the foundations of mathematics ; v. 89
主題:
Nonclassical mathematical logic > Congresses.
Model theory > Congresses.
Recursive functions > Congresses.

CARM 1 Store

予約･返却請求 CARM 1 Store
請求記号: A1:AQ18B0 B10556
所蔵 1 利用可  予約する

類似資料