Result: Computational Logic and Set Theory

*Title*:

Computational Logic and Set Theory : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo

*Author/editor-in-chief*:

*Edition*:

1st ed. 2011

*Publication*:

London : Springer London, 2011

*Distribution*:

Cham : Springer International Publishing AG

*Physical description scale*:

1 Online-Ressource (XVII, 416 Seiten)

*Format*:

*eBook*

*Language*:

*eng*

*Other edition entry*:

Erscheint auch als Druck-Ausgabe: Schwartz, Jacob T. Computational Logic and Set Theory. - London : Springer London, 2011. - ISBN 9780857298072

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9780857298089 ; 0857298089 ; 9780857298072 (Sekundärausgabe) ; 9780857298096 (Sekundärausgabe) ; 9781447160182 (Sekundärausgabe)

*DOI*:

10.1007/978-0-85729-808-9

*Result*: Computational Logic and Set Theory