Languages
Omodeo, Eugenio G.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Computational logic and set theory = applying formalized logic to analysis /
by:
Cantone, Domenico.; Schwartz, Jacob T.; Omodeo, Eugenio G.; SpringerLink (Online service)
(Language materials, printed)
Martin Davis on computability, computational logic, and mathematical foundations
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto.
(Language materials, printed)
On sets and graphs = perspectives on logic and combinatorics /
by:
Tomescu, Alexandru I.; Policriti, Alberto.; SpringerLink (Online service); Omodeo, Eugenio G.
(Language materials, printed)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Policriti, Alberto.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Mathematical logic.
Computer logic.
Algorithm Analysis and Problem Complexity.
Graph Theory.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Combinatorics.
Graph theory.
Set theory.
Computer Science, general.
Number theory.
Computation by Abstract Devices.
Philosophy.