Bibliography
[BAR 77] BARWISE J., “An introduction to first-order logic”, in BARWISE J. et al. (eds), Handbook of Mathematical Logic, volume 90 of Studies in Logic and the Foundations of Mathematics, Chapter A.1, pp. 5-46, North Holland, Amsterdam, 1977.
[BEN 88] VAN BENTHEM J.F.A.K., A Manual of Intensional Logic, volume 1 of Lecture Notes, CSLI Publications, Menlo Park, 1988, 2nd ed., revised and expanded.
[BOO 89] BOOLOS G.S., JEFFREY R.C., Computability and Logic, Cambridge University Press, Cambridge, 1989.
[EBB 84] EBBINGHAUS H.D., FLUM J., THOMAS W., Mathematical Logic, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1984.
[END 72] ENDERTON H.B., A Mathematical Introduction to Logic, Academic Press, New York, 1972.
[FAG 95] FAGIN R., HALPERN J.Y., MOSES Y., VARDI M.Y., Reasoning About Knowledge, MIT Press, Cambridge, 1995.
[FIT 90] FITTING M., First-Order Logic and Automated Theorem Proving, Texts and Monographs in Computer Science, Springer-Verlag, New York, 1990.
[GOL 93] GOLDBLATT R., Mathematics of Modality, volume 43 of CSLI Lecture Notes, CSLI Publications, Menlo Park, 1993.
[KLE71] KLEENE S.C., Logique Mathématique, Épistémologie, Librairie Armand Colin, Paris, 1971.
[LEI 97] LEITSCH A., The Resolution Calculus, Texts in Theoretical Computer Science, Springer, Berlin, 1997.
[MEN 64] MENDELSON E., Introduction to Mathematical Logic, The University Series in Undergraduate Mathematics, D. Van Nostrand Co., Toronto, 1964.
[ROB 79] ROBINSON J.A., Logic: ...
Get Logic for Computer Science and Artificial Intelligence now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
