Nelma Moreira

... all those moments will be lost, in time, like tears in rain.

Apontamentos

Lógica Computacional, Nelma Moreira, DCC-FCUP,2004-2011
Regras de dedução

Bibliografia

Stacks Image 5

Logic in Computer Science
modelling and reasoning about systems
Michael Huth and Mark Ryan

Cap 1 e Cap 2.