Beth
Beth [bet] Evert Willem, 7. 7. 1908 až 12. 4. 1964, niz. logik, matematik a filozof; tvůrce metody sémantických tabulek. Hl. díla: The Foundations of Mathematics (Základy matematiky), Formal Methods (Formální metody).
Beth [bet] Evert Willem, 7. 7. 1908 až 12. 4. 1964, niz. logik, matematik a filozof; tvůrce metody sémantických tabulek. Hl. díla: The Foundations of Mathematics (Základy matematiky), Formal Methods (Formální metody).