| Referências: |
Chang, C. & Lee, R. "Symbolic Logic and Mechanical Theorem Proving", Computer
Science Classics, Academic Press, 1973.
Masterton-Gibbons, M. "A Concrete Aproach to Mathematical Modelling", J. Willey, New
York, 1995.
Divério, T. e Blauth, P. "Teoria da Computação: máquinas universais e computabilidade",
Sagra-luzzatto, 2000. |