Bibliografía

1

M. Ben-Ari.
Mathematical Logic for Computer Science.
Springer-Verlag, London, UK, 2001.

2

P.J. Denning, D.E. Comer, D. Gries, M.C. Mulder, A.B. Tucker, A.J. Turner, and P.R. Young.
Computing as a discipline.
Communications of the ACM, 32(1):9-23, 1989.

3

D.J. Israel.
The role(s) of logic in artificial intelligence.
In J.A. Robinson D.M. Gabbay, C.J. Hogger, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 1 Logical Foundations, pages 67-182. Oxford University Press, Oxford, UK, 1992.

4

M. Ryan and M. Sadler.
Valuation systems and consequence relations.
In T.S.E. Maibaum S. Abramsky, D.M. Gabbay, editor, Handbook of Logic in Computer Science, volume 1 Background: Mathematical Structures, pages 321-363. Oxford University Press, Oxford, UK, 1992.