語系
Primiero, Giuseppe.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Information and Knowledge :A Constructive Type-theoretical Approach /
by:
Primiero, Giuseppe.; SpringerLink (Online service)
(書目-電子資源)
Reflections on programming systemshistorical and philosophical aspects /
by:
De Mol, Liesbeth.; Primiero, Giuseppe.; SpringerLink (Online service)
(書目-電子資源)
The realism-antirealism debate in the age of alternative logics
by:
Marion, Mathieu.; Primiero, Giuseppe.; Rahman, Shahid.; SpringerLink (Online service)
(書目-電子資源)
主題
Philosophy.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Philosophy of Technology.
History of Computing.
Logic, Symbolic and mathematical.
Realism.
History of Technology.
Operating Systems.
Computer programming
Epistemology.
Epistemics.
History of Science.
Computer science.
Genetic epistemology.