You are here:

Teaching Via the Web: A Self-Evaluation Game Using Java for Learning Logical Equivalence
PROCEEDINGS

, Universit` a di Siena, Italy ; , Universiteit van Amsterdam

WebNet World Conference on the WWW and Internet, in Honolulu, Hawaii Publisher: Association for the Advancement of Computing in Education (AACE), Chesapeake, VA

Full Text

Abstract

Citation

Agostini, A. & Aiello, M. (1999). Teaching Via the Web: A Self-Evaluation Game Using Java for Learning Logical Equivalence. In Proceedings of WebNet World Conference on the WWW and Internet 1999 (pp. 75-80). Honolulu, Hawaii: Association for the Advancement of Computing in Education (AACE). Retrieved February 5, 2023 from .

© 1999 Association for the Advancement of Computing in Education (AACE)

Keywords

References

View References & Citations Map
  1. [Abramsky, 1997] Abramsky, S. (1997). Semantics of Interaction. In Lectures notes of Joint Newton Institute CLiCS II Summer School on Semantics and Logics of Computation. Cambridge University Press. Http://www.dcs.ed.ac.uk/home/samson/coursenotes.ps.gz. [Doets, 1996] Doets, K. (1996). Basic Model Theory. Studies in Logic, Language and Information. CSLI Publications & FoLLI, Stanford, CA.
  2. [Ebbinghaus and Flum, 1995] Ebbinghaus, H.-D. And Flum, J. (1995). Finite Model Theory. Springer.
  3. [Hintikka and Sandu, 1997] Hintikka, J. And Sandu, G. (1997). Game-theoretical semantics. In van Benthem, J. And ter Meulen, A., editors, Handbook of Logic and Language, pages 361–410. Elsvier Science B.V., Amsterdam.
  4. [Hodges, 1997] Hodges, W. (1997). A Shorter Model Theory. Cambridge University Press, Cambridge.
  5. [Hodges, 1998] Hodges, W. (1998). Invitation to logical games. Lecture notes. Mathematics Department, Queen Mary’s College, London.
  6. [van Benthem, 1998] van Benthem, J. (1998). Logic and games. Lecture notes for a graduate course. ILLC, UvA.

These references have been extracted automatically and may have some errors. Signed in users can suggest corrections to these mistakes.

Suggest Corrections to References