Omodeo, Eugenio.
Omodeo, Eugenio, 1951-
Omodeo, Eugenio G.
Eugenio Omodeo matemàtic italià
VIAF ID: 34527473 ( Personal )
Permalink: http://viaf.org/viaf/34527473
Preferred Forms
- 100 0 _ ‡a Eugenio Omodeo ‡c matemàtic italià
-
- 100 1 _ ‡a Omodeo, Eugenio
-
-
- 100 1 _ ‡a Omodeo, Eugenio
-
-
-
- 100 1 0 ‡a Omodeo, Eugenio
- 100 1 _ ‡a Omodeo, Eugenio G.
- 100 1 _ ‡a Omodeo, Eugenio ‡d 1951-
-
-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Computable set theory : vol. 1 | |
Computational logic and set theory : applying formalized logic to analysis | |
Martin Davis on Computability, Computational Logic, and Mathematical Foundations | |
On sets and graphs : perspectives on logic and combinatorics | |
Set theory for computing : from decision procedures to declarative programming with sets |