Treffer 1 – 14 von 14 für Suche 'Curry, Haskell B. 1900-1982', Suchdauer: 0,06s 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
    Foundations of mathematical logic

    Foundations of mathematical logic von Curry, Haskell B. 1900-1982

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Osnovanija matematičeskoj logiki Perevod s anglijskogo V. V. Dončenko. Pod red. Ju. A. Gastera

    Osnovanija matematičeskoj logiki Perevod s anglijskogo V. V. Dončenko. Pod red. Ju. A. Gastera von Curry, Haskell B. 1900-1982

    Veröffentlicht 1969
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A theory of formal deducibility

    A theory of formal deducibility von Curry, Haskell B. 1900-1982

    Veröffentlicht 1966
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Outlines of a formalist philosophy of mathematics

    Outlines of a formalist philosophy of mathematics von Curry, Haskell B. 1900-1982

    Veröffentlicht 1958
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Outlines of a formalist philosophy of mathematics

    Outlines of a formalist philosophy of mathematics von Curry, Haskell B. 1900-1982

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Foundations of mathematical logic

    Foundations of mathematical logic von Curry, Haskell B. 1900-1982

    Veröffentlicht 1963
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    A theory of formal deducibility

    A theory of formal deducibility von Curry, Haskell B. 1900-1982

    Veröffentlicht 1957
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Leçons de logique algébrique

    Leçons de logique algébrique von Curry, Haskell B. 1900-1982

    Veröffentlicht 1952
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Outlines of a formalist philosophy of mathematics

    Outlines of a formalist philosophy of mathematics von Curry, Haskell B. 1900-1982

    Veröffentlicht 1951
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    A theory of formal deducibility

    A theory of formal deducibility von Curry, Haskell B. 1900-1982

    Veröffentlicht 1950
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Grundlagen der kombinatorischen Logik

    Grundlagen der kombinatorischen Logik von Curry, Haskell B. 1900-1982

    Veröffentlicht 1930
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Foundations of mathematical logic

    Foundations of mathematical logic von Curry, Haskell B. 1900-1982

    Veröffentlicht 1977
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    A theory of formal deducibility

    A theory of formal deducibility von Curry, Haskell B. 1900-1982

    Veröffentlicht 1966
    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Combinatory logic

    Combinatory logic

    Veröffentlicht 1958
    Weitere Verfasser: “… Curry, Haskell B. 1900-1982 …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: