References
Abramsky, S., Gabbay, D.M., and Maibaum, T.S.E., eds., 1992-2000 Handbook of Logic in Computer Science (5 volumes), Oxford: Oxford University Press.
Barwise, J., ed., 1978, Handbook of Mathematical Logic, Amsterdam: Elsevier.
Bell, J.L. and Machover, M., 1977, A Course in Mathematical Logic, Amsterdam: North-Holland.
Gabbay, D.M. and Guenthner, F., eds., 1984-1989, Handbook of Philosophical Logic (4 volumes), Dordrecht: Kluwer Academic Publishers.
Gabbay, D.M., Hogger, C.J., and Robinson, J.A., eds., 1993-1998, Handbook of Logic in Artificial Intelligence and Logic Programming (5 volumes), Oxford: Oxford University Press.
Gent, I., van Maaren, H., and Walsh, T., eds., 2000, SAT2000, Amsterdam: IOS Press.
Kurtonina, N., 2000, “Review of 'Handbook of Logic and Language',” Journal of Logic, Language and Information 9, 263-269.
Rozenberg, G. and Salomaa, A., eds., 1997, Handbook of Formal Languages (3 volumes), Berlin: Springer-Verlag.
Smullyan, R.F.M., 1968, First-Order Logic, Berlin: Springer-Verlag (Revised edition, 1994, New York: Dover Press).
van Benthem, J. and ter Meulen, A., eds., 1997, Handbook of Logic and Language, Amsterdam: Elsevier.
van Leeuwen, J., ed., 1990, Handbook of Theoretical Computer Sciences (Volumes A and B), Amsterdam: Elsevier.
Wilson, R.A. and Keil, F., eds., 1999, The MIT Encyclopedia of the Cognitive Sciences, Cambridge, MA: MIT Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Rijke, M. Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds.. Journal of Logic, Language and Information 10, 518–523 (2001). https://doi.org/10.1023/A:1017520120752
Issue Date:
DOI: https://doi.org/10.1023/A:1017520120752