Languages
Primiero, Giuseppe.
Overview
Works: | 3 works in 2 publications in 1 languages |
---|
Titles
Information and Knowledge :A Constructive Type-theoretical Approach /
by:
Primiero, Giuseppe.; SpringerLink (Online service)
(Electronic resources)
Reflections on programming systemshistorical and philosophical aspects /
by:
De Mol, Liesbeth.; Primiero, Giuseppe.; SpringerLink (Online service)
(Electronic resources)
The realism-antirealism debate in the age of alternative logics
by:
Marion, Mathieu.; Primiero, Giuseppe.; Rahman, Shahid.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.