| Referências: |
Bibliografia:BOOLOS, George. Logic, logic, and logic. Editado por Richard Jeffrey. Cambridge (Massachusetts)/London (UK): Harvard University Press, 1998.BOOLOS, George & JEFFREY, Richard C. Computability and logic. Cambridge: Cambridge University Press, 3a edição 1989, reimpressão da 3a edição 1994.BOSTOCK, David. Intermediate logic. Oxford: Clarendon Press, 1997.CHURCH, Alonzo. Introduction to mathematical logic, vol. I. Princeton (NJ): Princeton University Press, 1956.DAVIS, Martin (ed.). The Undecidable- Basic papers on undecidable propositions, unsolvable problems and computable functions. Mineola/New York: Dover Publications, 2004.EBBINGHAUS, H.-D. & FLUM, J. & THOMAS, W. Mathematical logic. 2a ed. New York: Springer, 1991.HENDRICKS, Vincent F. & MALINOWSKI, J. (eds.). Trends in logic. Dordrecht: Kluwer, 2003.HUGHES, R.I.G. A philosophical companion to first-order logic. Indianapolis/Cambridge: Hackett Publishing Company, 1993.JACQUETTE, D. (ed.). A companion to philosophical logic. Oxford: Blackwell, 2002.KLEENE, Stephen Cole. Mathematical logic. New York/London/Sydney: John Wiley & Sons, Inc., 1966.OSTERTAG, Gary (ed.). Definite descriptions: A reader. Cambridge (Massachusetts): The MIT Press/London (England): Bradford Books, 1998.SILVA GRAÇA, Adriana. Referência e denotação: Um ensaio acerca do sentido e da referência de nomes e descrições. Lisboa: Fundação Calouste Gulbenkian, 2003. |
