Languages
Omodeo, Eugenio G.
Overview
Works: | 2 works in 3 publications in 1 languages |
---|
Titles
On sets and graphsperspectives on logic and combinatorics /
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service); Tomescu, Alexandru I.
(Electronic resources)
Computational logic and set theoryapplying formalized logic to analysis /
by:
Cantone, Domenico.; Omodeo, Eugenio G.; Schwartz, Jacob T.; SpringerLink (Online service)
(Electronic resources)
Martin Davis on computability, computational logic, and mathematical foundations
by:
Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer logic.
Computer Science, general.
Mathematical Logic and Formal Languages.
Number theory.
Philosophy.
Logic.
Mathematical Logic and Foundations.
Graph theory.
Graph Theory.
Logics and Meanings of Programs.
Combinatorics.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Set theory.
Computer Science.