Languages
Primiero, Giuseppe.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
The realism-antirealism debate in the age of alternative logics
by:
SpringerLink (Online service); Primiero, Giuseppe.; Marion, Mathieu.; Rahman, Shahid.
(Language materials, printed)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
SpringerLink (Online service); Manea, Florin.; Primiero, Giuseppe.; Martin, Barnaby.; Paulusma, Daniël.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Information and Knowledge = A Constructive Type-theoretical Approach /
by:
Primiero, Giuseppe.; SpringerLink (Online service)
(Language materials, printed)
Reflections on Programming Systems = Historical and Philosophical Aspects /
by:
SpringerLink (Online service); Primiero, Giuseppe.; De Mol, Liesbeth.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Reflections on programming systems = historical and philosophical aspects /
by:
SpringerLink (Online service); Primiero, Giuseppe.; De Mol, Liesbeth.
(Language materials, printed)
Acts of knowledge : = history, philosophy and logic : essays dedicated to Göran Sundholm /
by:
Primiero, Giuseppe.; Sundholm, Göran.; Rahman, Shahid, (1956-.)
(Language materials, printed)
Subjects
Mathematical logic.
Computer science—Mathematics.
Genetic epistemology.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Technology—History.
Theory of Computation.
Knowledge, Theory of.
Data Structures.
History of Computing.
Data structures (Computer science).
Logic.
Computer programming
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithms.
Logics and Meanings of Programs.
History of Technology.
History.
Logic, Symbolic and mathematical.
Epistemics.
Computer science.
Philosophy of Technology.
Mathematics
Proof theory.
History of Science.
Operating systems (Computers).
Computers.
Epistemology.
Discrete Mathematics in Computer Science.
Philosophy.
Realism.
Sundholm, Göran.