AULA 3
22 Setembro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da compacidade para o cálculo proposicional. Deduções formais à Hilbert para o cálculo proposicional.
22 Setembro 2020, 11:00 • Fernando Ferreira
Demonstração do teorema da compacidade para o cálculo proposicional. Deduções formais à Hilbert para o cálculo proposicional.