Jean-Louis Krivine

Jean-Louis Krivine (* 1939) ist ein französischer mathematischer Logiker und Mathematiker. Veröffentlicht in Wikipedia
Treffer 1 – 15 von 15 für Suche 'Krivine, Jean-Louis', Suchdauer: 0,09s 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
    Sous-espaces de L 1 (2. version)

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

    Veröffentlicht 1975
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Introduction to axiomatic set theory

    Introduction to axiomatic set theory von Krivine, Jean-Louis

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    É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:
  4. 4
    Introduction to axiomatic set theory

    Introduction to axiomatic set theory von Krivine, Jean-Louis

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Introduction to axiomatic set theory

    Introduction to axiomatic set theory von Krivine, Jean-Louis

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    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:
  7. 7
    É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:
  8. 8
    Lambda-calculus, types and models

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Lambda-calculus types and models

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Lambda-calcul types et modèles

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    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:
  12. 12
    Introduction to axiomatic set theory (Théorie axiomatique des ensembles, engl.-Transl. by David Miller.)

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

    Veröffentlicht 1971
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Théorie axiomatique des ensembles

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

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Théorie axiomatique des ensembles

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

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    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: