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: Form and Function. The Mechanization of Deductive Reasoning, The University Press Edinburgh, Edinburgh, 1979.

[SMU 68] SMULLYAN R.M., First-Order Logic, Springer-Verlag, Berlin, 1968.

[WOS 92] WOS L., OVERBEEK R., LUSK E., BOYLE J., Automated Reasoning, Introduction and Applications, McGraw-Hill, New York, 2nd ed., 1992.