Treffer: Computational Logic and Set Theory

Titel:

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

Verantwortlich:

Ausgabe:

1st ed. 2011

Veröffentlicht:

London : Springer London, 2011

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XVII, 416 Seiten)

Publikationstyp:

E-Book

Sprache:

Englisch

Andere Ausgaben:

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

RVK-Notation:

Schlagworte:

ISBN:

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

DOI:

10.1007/978-0-85729-808-9

Zusatz-Informationen