Suchergebnisse - Krivine, Jean-Louis

Jean-Louis Krivine

Jean-Louis Krivine (* 1939) ist ein französischer mathematischer Logiker und Mathematiker. Veröffentlicht in Wikipedia
  • Treffer 1 – 15 von 15
Treffer filtern
  1. 1
    Buchumschlag

    Introduction to axiomatic set theory
    von Krivine, Jean-Louis

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  2. 2
    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:
  3. 3
    Buchumschlag

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

    Veröffentlicht 1967
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Introduction to axiomatic set theory
    von Krivine, Jean-Louis

    Veröffentlicht 1971
    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

    Introduction to axiomatic set theory (Théorie axiomatique des ensembles, engl.-Transl. by David Miller.)
    von Krivine, Jean-Louis

    Veröffentlicht 1971
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Sous-espaces de L 1: (2. version)
    von Dacunha-Castelle, Didier, Krivine, Jean-Louis

    Veröffentlicht 1975
    Buch


    Gespeichert in:
  8. 8
    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:
  9. 9
    Buchumschlag

    Introduction to axiomatic set theory
    von Krivine, Jean-Louis

    Veröffentlicht 1972
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 1971
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Lambda-calculus, types and models
    von Krivine, Jean-Louis

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Lambda-calculus: types and models
    von Krivine, Jean-Louis

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Lambda-calcul: types et modèles
    von Krivine, Jean-Louis

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    Théorie axiomatique des ensembles
    von Krivine, Jean-Louis

    Veröffentlicht 1969
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Théorie axiomatique des ensembles
    von Krivine, Jean-Louis

    Veröffentlicht 1969
    Buch


    Gespeichert in:

Suchwerkzeuge: