AULA 3
22 Fevereiro 2017, 11:30 • Fernando Ferreira
Sistema de dedução proposicional à Hilbert. O teorema da dedução. O teorema da completude fraco do cálculo proposicional.
22 Fevereiro 2017, 11:30 • Fernando Ferreira
Sistema de dedução proposicional à Hilbert. O teorema da dedução. O teorema da completude fraco do cálculo proposicional.