Fitch Frederick
Fitch [fič] Frederick Brenton, 9. 9. 1908 - 1987, amer. logik; zaměřuje se na metalogiku a aplikace logiky v tech. Dokázal, že rozvětvená teorie typu (bez axiómu reducibility) je bezesporná.
Fitch [fič] Frederick Brenton, 9. 9. 1908 - 1987, amer. logik; zaměřuje se na metalogiku a aplikace logiky v tech. Dokázal, že rozvětvená teorie typu (bez axiómu reducibility) je bezesporná.
