|
Bibliografía básica
|
Nedore, A. e Shore, R. (1993). Logic for Applications. . Springer-Verlag
Popkorn, S. (1994). First Steps in Modal Logic. Cambridge University Press
Reeves, S. e Clarke, M. (1990). Logic for Computer Science. John Wiley & Sons
Schöning, U.. (1989). Logic for Computer Scientist. . Birkhäuser
Gibbins, P. (1988). Logic with Prolog. Claredon Press - Oxford.
Ben-Ari, M (1993). Mathematical Logic for Computer Science. Prentice Hall
C. Beall; Bas C. van Fraassen (2003). Possibilities and Paradox. An Introduction to Modal and Many-valued Logic . Oxford University Press
|