Report copyright - Capítulo 3 - Hudson Costa · conseqüência lógica semântica de G. Notação. Se um conjunto de fórmulas β implica semanticamente H, ou seja, H é conseqüência lógica semântica
Please pass captcha verification before submit form
Please pass captcha verification before submit form