語系
Odintsov, Sergei.
概要
| 作品: | 2 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Larisa Maksimova on implication, interpolation, and definability
by:
Odintsov, Sergei.; SpringerLink (Online service)
(書目-電子資源)
主題
Philosophy- Logic.
Philosophy- Logics and Meanings of Programs.
Philosophy- Analytic Philosophy.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Philosophy- Arithmetic and Logic Structures.
Philosophy- Mathematical Logic and Foundations.
Analytic Philosophy.
Arithmetic and Logic Structures.