Search Results for Mathematical logic.

18 Results Found

1 2

000000000000DEFAULT

Cover image for Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Springer-Handbuch der Mathematik II Begründet von I.N. Bronstein und K.A. Semendjaew Weitergeführt von G. Grosche, V. Ziegler und D. Ziegler Herausgegeben von E. Zeidler

Author

Zeidler, Eberhard. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337476.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-658-00297-8

Format:

Availability

Online Library~1

Available:
Copies:

Die Gödel’schen Unvollständigkeitssätze Eine geführte Reise durch Kurt Gödels historischen Beweis

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(338283.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-3000-7

Format:

Availability

Online Library~1

Available:
Copies:

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933

Author

Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336850.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-540-69444-1

Format:

Availability

Online Library~1

Available:
Copies:

An den Grenzen des Endlichen Das Hilbertprogramm im Kontext von Formalismus und Finitismus

Author

Tapp, Christian. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(336968.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29654-3

Format:

Availability

Online Library~1

Available:
Copies:

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(337115.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-34720-7

Format:

Availability

Online Library~1

Available:
Copies:

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Author

Décaillot, Anne-Marie. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-14869-9

Format:

Availability

Online Library~1

Available:
Copies:

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Author

Hoffmann, Dirk W. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-8274-2560-7

Format:

Availability

Online Library~1

Available:
Copies:

Mathematische Logik

Author

Ziegler, Martin. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-0346-0652-3

Format:

Availability

Online Library~1

Available:
Copies:

Einführung in die Mengenlehre Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo

Author

Deiser, Oliver. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-01445-1

Format:

Availability

Online Library~1

Available:
Copies:

10.

Logische Grundlagen der Mathematik

Author

Schindler, Ralf. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-95932-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Gesammelte Werke Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie

Author

Hausdorff, Felix. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76807-4

Format:

Availability

Online Library~1

Available:
Copies:

12.

Petri-Netze

Author

Priese, Lutz. author. Wimmel, Harro. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-76971-2

Format:

Availability

Online Library~1

Available:
Copies:

1 2

	{displayName}	{count}
{error}