Slides sobre Lógica
De Wiki DAINF
(Diferença entre revisões)
Linha 1: | Linha 1: | ||
− | * [ http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC] | + | * [[http://resist.isti.cnr.it/free_slides/mathematical/lawall/slide4.pdf INTRODUCTION TO PREDICATE LOGIC]] |