Georg Kreisel

Georg Kreisel (* 15. September 1923 in Graz; † 1. März 2015 in Salzburg) war ein britisch-US-amerikanischer Logiker und Mathematiker. Veröffentlicht in Wikipedia
Treffer 1 – 12 von 12 für Suche 'Kreisel, Georg', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Formally self-referential propositions for cut free classical analysis and related systems

    Formally self-referential propositions for cut free classical analysis and related systems von Kreisel, Georg 1923-2015, Takeuti, Gaisi 1926-2017

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Elements of mathematical logic (model theory)

    Elements of mathematical logic (model theory) von Kreisel, Georg 1923-2015, Krivine, Jean-Louis

    Veröffentlicht 1971
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Éléments de logique mathématique théorie des modèles

    Éléments de logique mathématique théorie des modèles von Kreisel, Georg 1923-2015, Krivine, Jean-Louis

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Mathematical logic

    Mathematical logic von Kreisel, Georg 1923-2015

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Issledovanija po teorii dokazate\0309lstv

    Issledovanija po teorii dokazate\0309lstv von Kreisel, Georg 1923-2015

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Modelltheorie Eine Einführung in die mathematische Logik und Grundlagentheorie

    Modelltheorie Eine Einführung in die mathematische Logik und Grundlagentheorie von Kreisel, Georg 1923-2015

    Veröffentlicht 1972

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Éléments de logique mathématique théorie des mod eles

    Éléments de logique mathématique théorie des mod eles von Kreisel, Georg 1923-2015, Krivine, Jean-Louis

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Elements of mathematical logic (Model theory)

    Elements of mathematical logic (Model theory) von Kreisel, Georg

    Veröffentlicht 1967
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Bertrand Arthur William Russell, Earl Russell 1872 - 1970 ; elected F.R.S. 1908

    Bertrand Arthur William Russell, Earl Russell 1872 - 1970 ; elected F.R.S. 1908 von Kreisel, Georg 1923-2015

    Veröffentlicht 1973
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Modelltheorie eine Einführung in die mathematische Logik und Grundlagentheorie

    Modelltheorie eine Einführung in die mathematische Logik und Grundlagentheorie von Kreisel, Georg 1923-2015, Krivine, Jean-Louis

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Five notes on the application of proof theory to computer science

    Five notes on the application of proof theory to computer science von Kreisel, Georg 1923-2015

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Elements of mathematical logic (model theory)

    Elements of mathematical logic (model theory) von Kreisel, Georg 1923-2015, Krivine, Jean-Louis

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: