Evert Willem Beth

mini Evert Willem Beth (* 7. Juli 1908 in Almelo (Niederlande); † 12. April 1964 in Amsterdam) war ein niederländischer Logiker und Philosoph.

Er war Lehrer an Oberschulen und von 1946 bis 1964 Professor für mathematische Logik, Geschichte der Logik und Wissenschaftstheorie an der Universität von Amsterdam. 1953 wurde er zum Mitglied der Königlich Niederländischen Akademie der Wissenschaften gewählt.

Beth entwickelte semantische Tafeln, die so genannten Beth-Tableaux als syntaktisches Verfahren zur Behandlung semantischer Probleme von Logikkalkülen. Veröffentlicht in Wikipedia
Treffer 1 – 20 von 59 für Suche 'Beth, Evert Willem 1908-1964', Suchdauer: 0,16s 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
    Aspects in modern logic

    Aspects in modern logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Aspects of modern logic

    Aspects of modern logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Aspects of modern logic

    Aspects of modern logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1970
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Science a road to wisdom collected philosophical studies

    Science a road to wisdom collected philosophical studies von Beth, Evert Willem 1908-1964

    Veröffentlicht 1968
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Science a road to wisdom collected philosophical studies

    Science a road to wisdom collected philosophical studies von Beth, Evert Willem 1908-1964

    Veröffentlicht 1968
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    The foundations of mathematics a study in the philosophy of science

    The foundations of mathematics a study in the philosophy of science von Beth, Evert Willem 1908-1964

    Veröffentlicht 1968
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    The foundations of mathematics A study in the philosophy of science

    The foundations of mathematics A study in the philosophy of science von Beth, Evert Willem 1908-1964

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Mathematical thought an introd. to the philosophy of mathematics

    Mathematical thought an introd. to the philosophy of mathematics von Beth, Evert Willem 1908-1964

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Mathematical thought an introduction to the philosophy of mathematics

    Mathematical thought an introduction to the philosophy of mathematics von Beth, Evert Willem 1908-1964

    Veröffentlicht 1965
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Konstanten van het wiskundige denken

    Konstanten van het wiskundige denken von Beth, Evert Willem 1908-1964

    Veröffentlicht 1963
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

    Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Implication, formalisation et logique naturelle

    Implication, formalisation et logique naturelle von Beth, Evert Willem 1908-1964

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Formal methods an introduction to symbolic logic and to the study of effective operative operations in arithmetic and logic

    Formal methods an introduction to symbolic logic and to the study of effective operative operations in arithmetic and logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic

    Formal methods an introduction to symbolic logic and to the study of effective operations in arithmetic and logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Formal methods an introduction to symbolic logic and to the study of effective operations in the arithmetic and logic

    Formal methods an introduction to symbolic logic and to the study of effective operations in the arithmetic and logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1962
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Épistémologie mathématique et psychologie essai sur les relations entre la logique formelle et la pensée réelle

    Épistémologie mathématique et psychologie essai sur les relations entre la logique formelle et la pensée réelle von Beth, Evert Willem 1908-1964, Piaget, Jean 1896-1980

    Veröffentlicht 1961
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    The foundations of mathematics a study in the philosophy of science

    The foundations of mathematics a study in the philosophy of science von Beth, Evert Willem 1908-1964

    Veröffentlicht 1959
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Epistémologie génétique et recherche psychologique

    Epistémologie génétique et recherche psychologique von Beth, Evert Willem 1908-1964, Mays, Wolfe 1912-2005, Piaget, Jean 1896-1980, Piaget, Jean 1896-1980, Mays, Wolfe

    Veröffentlicht 1957
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Semantic construction of intuitionistic logic

    Semantic construction of intuitionistic logic von Beth, Evert Willem 1908-1964

    Veröffentlicht 1956
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Wijsbegeerte der wiskunde

    Wijsbegeerte der wiskunde von Beth, Evert Willem 1908-1964

    Veröffentlicht 1948
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: