Computational Logic and Set Theory [E-Book] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo.
Saved in:
Full text |
|
Personal Name(s): | Schwartz, Jacob T. |
Cantone, Domenico. / Omodeo, Eugenio G. | |
Imprint: |
London :
Springer-Verlag London Limited,
2011
|
Physical Description: |
online resource |
ISBN: |
9780857298089 |
Subject (LOC): |
Description not available. |