Shortcuts
 
PageMenu- Hauptmenü-
Page content
 

Suchergebnisse

Ihre Suche nach 03F03 ergibt 8 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Suchergebnisse einschränken

Medientyp:
LitAbtlg:
Sprache:
Standort:
Suchergebnisse in Regalansicht anzeigen.
Suchergebnisse
Nr. Cover Titel Verfasser Jahr Beschreibung Exemplarinformation
1 An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus An den Grenzen des Endlichen: Das Hilbertprogramm im Kontext von Formalismus und Finitismus [E-Book] Tapp, Christian 2013 E-Book URL Exists Catalogue Record .
2 Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs [E-Book] Ayala-Rincón, Mauricio 2017 E-Book URL Exists Catalogue Record .
3 Core logic Core logic [E-Book] Tennant, Neil 2017 E-Book URL Exists Catalogue Record .
4 David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 [E-Book] Ewald, William Bragg 2013 E-Book URL Exists Catalogue Record .
5 ¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis ¬Die¬ Gödel’schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book] Hoffmann, Dirk W. 2013 E-Book URL Exists Catalogue Record .
6 ¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis ¬Die¬ Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis [E-Book] Hoffmann, Dirk W. 2017 E-Book URL Exists Catalogue Record .
7 Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik [E-Book] Hoffmann, Dirk W. 2018 E-Book URL Exists Catalogue Record .
8 Proofs and algorithms: an introduction to logic and computability Proofs and algorithms: an introduction to logic and computability [Buch] Dowek, Gilles 2011 Buch URL Exists Catalogue Record Regalstandort: ST 134 D746.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.

Ihre Suche nach 03F03 ergibt 8 Einträge

Suchergebnisseite: .   1   .   . Seite: 1 von 1
Die Titel, die in Fettdruck angezeigt werden, haben verfügbare Medien, Titel ohne Fettdruck haben derzeit keine verfügbaren Medien.

Schnellsuche