応用論理学の数学的問題Ⅰ
Mathematical Problems from Applied Logic I
Logics for the XXIst Century
International Mathematical Series
Gabbay, Dov M. (EDT)
Goncharov, S. (EDT)
Zakharyaschev, M. (et al., EDT)
- 内容紹介：
-
Features up to date analysis of the most important current applications of logic.