Search Results for Logic, Symbolic and mathematical.

18 sonuç bulundu

1 2

000000000000DEFAULT_TR

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

Yazar

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

Yer Numarası

ONLINE(336850.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

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

Yer Numarası

ONLINE(337115.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Zeidler, Eberhard. editor. SpringerLink (Online service)

Yer Numarası

ONLINE(337476.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Tapp, Christian. author. SpringerLink (Online service)

Yer Numarası

ONLINE(336968.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

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

Yer Numarası

ONLINE(338283.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Cantor und die Franzosen Mathematik, Philosophie und das Unendliche

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Grenzen der Mathematik Eine Reise durch die Kerngebiete der mathematischen Logik

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Deiser, Oliver. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Mathematische Logik

Yazar

Ziegler, Martin. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Logische Grundlagen der Mathematik

Yazar

Schindler, Ralf. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Petri-Netze

Yazar

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

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Theoretische Informatik Eine umfassende Einführung

Yazar

Erk, Katrin. author. Priese, Lutz. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

1 2

	{displayName}	{count}
{error}