語系
Makinson, David.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
Malinowski, Jacek.; Wansing, Heinrich.; SpringerLink (Online service); Makinson, David.
(書目-語言資料,印刷品)
主題
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Mathematics.
Logic, Symbolic and mathematical- Congresses.
Computational Science and Engineering.
Computational Linguistics.
Computer science- Mathematics.
Arithmetic and Logic Structures.
Discrete Mathematics in Computer Science.
Discrete Mathematics.
Mathematics- Philosophy
Mathematical Logic and Foundations..