Henry Maurice Sheffer

[Šefr], *1.9.1883 – †17.3.1964, americký logik, prokázal že pomocí neslučitelnosti lze vyjádřit všechny binární výrokotvorné funktory.

Vytvořeno: 14. 3. 2000
Aktualizováno: 22. 8. 2006
Autor: -red-

Odkazující hesla: neslučitelnost.