Languages
Omodeo, Eugenio G.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Computational logic and set theory = applying formalized logic to analysis /
by:
SpringerLink (Online service); Omodeo, Eugenio G.; Cantone, Domenico.; Schwartz, Jacob T.
(Electronic resources)