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.
Technology—History.
Theory of Computation.
History of Computing.
Logic.
Computer programming
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Algorithms.
Logics and Meanings of Programs.
History.
Proof theory.
Operating systems (Computers).
Computers.
Philosophy.
Realism.
Sundholm, Göran.
Genetic epistemology.
Computer logic.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Knowledge, Theory of.
Data Structures.
Data structures (Computer science).
History of Technology.
Logic, Symbolic and mathematical.
Epistemics.
Computer science.
Philosophy of Technology.
Mathematics
History of Science.
Epistemology.
Discrete Mathematics in Computer Science.