论文信息 - Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds - 字舞流文

Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds

M. de Rijke | Maarten de Rijke

[1] R. Smullyan. First-Order Logic , 1968 .

[2] Dov M. Gabbay,et al. Handbook of logic in computer science. Volume 2. Background: Computational structures , 1993, LICS 1993.

[3] Johan van Benthem,et al. Handbook of Logic and Language , 1996 .

[4] Grzegorz Rozenberg,et al. Handbook of formal languages, vol. 3: beyond words , 1997 .

[5] H. Keisler,et al. Handbook of mathematical logic , 1977 .

[6] Natasha Kurtonina. Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds. , 2000, J. Log. Lang. Inf..

[7] Robert A. Wilson,et al. Book Reviews: The MIT Encyclopedia of the Cognitive Sciences , 2000, CL.

[8] John L. Bell,et al. A course in mathematical logic , 1977 .