Alonzo Church

Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 42 für Suche 'Church, Alonzo 1903-1995', 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
    Church's Thesis after 70 years /

    Church's Thesis after 70 years /

    Veröffentlicht 2006
    Weitere Verfasser: “… Church, Alonzo, 1903-1995 …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1964
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1956
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    The calculi of lambda-conversion

    The calculi of lambda-conversion von Church, Alonzo 1903-1995

    Veröffentlicht 1951
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The calculi of lambda-conversion

    The calculi of lambda-conversion von Church, Alonzo 1903-1995

    Veröffentlicht 1941
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A bibliography of symbolic logic

    A bibliography of symbolic logic von Church, Alonzo 1903-1995

    Veröffentlicht 1938
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A bibliography of symbolic logic

    A bibliography of symbolic logic von Church, Alonzo 1903-1995

    Veröffentlicht 1936
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    A bibliography of symbolic logic

    A bibliography of symbolic logic von Church, Alonzo 1903-1995

    Veröffentlicht 1936
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Introduction to mathematical logic Notes by C. A. Truesdell

    Introduction to mathematical logic Notes by C. A. Truesdell von Church, Alonzo 1903-1995

    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

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


    Gespeichert in:
  14. 14
    A bibliography of symbolic logic (1666 - 1935)

    A bibliography of symbolic logic (1666 - 1935) von Church, Alonzo 1903-1995

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1967
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Introduction to mathematical logic Notes by C. A. Truesdell

    Introduction to mathematical logic Notes by C. A. Truesdell von Church, Alonzo 1903-1995

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Introduction to mathematical logic Notes by C. A. Truesdell

    Introduction to mathematical logic Notes by C. A. Truesdell von Church, Alonzo 1903-1995

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Introduction to mathematical logic

    Introduction to mathematical logic von Church, Alonzo 1903-1995

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: