Suchergebnisse - Kreisel, Georg 1923-2015

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 – 11 von 11
Treffer filtern
  1. 1
    Buchumschlag

    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


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1972
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 1967
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 1967
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 1971
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Mathematical logic
    von Kreisel, Georg 1923-2015

    Veröffentlicht 1965
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 1981
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 1967
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1973
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1971
    Buch


    Gespeichert in:

Suchwerkzeuge: