Lógica avançada

Horário

• Terça feira 15:30-18:30, sala 2.5

Sumários das teóricas

• 20/9: Linguagens de primeira ordem

Bibliografia

• Jon Barwise. An Introduction to First-Order Logic, in: Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland, 1977, pp. 5-46.
• Wilfrid Hodges. Classical Logic I: First-Order Logic, in: The Blackwell Guide to Philosophical Logic (Lou Goble, ed.), Blackwell, 2001, pp. 9-32.
• Joseph R. Shoenfield. Mathematical Logic. Addison-Wesley, 1967. Reprinted by ASL, AK Peters, 2000.
• C. Smorynski. The Incompleteness Theorems, in: Handbook of Mathematical Logic (J. Barwise, ed.), North-Holland, 1977, pp. 821-865.
• Alfred Tarski. Introduction to Logic and to the Methodology of the Deductive Sciences. 4th edition, Oxford University Press, 1994.