Sheffer

Sheffer [šefr] Henry Maurice, 1. 9. 1883 - 17. 3. 1964, amer. logik; prokázal, že pomocí neslučitelnosti lze vyjádřit všechny binární výrokotvorné funktory.


zpět