Tarski's World

Cet article est une ébauche concernant un logiciel.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Tarski's world est un livre accompagné d'un logiciel pédagogique pour enseigner la logique du premier ordre^,^,^,^,. Il a été écrit par Jon Barwise and John Etchemendy. Il est nommé en hommage au mathématicien logicien Alfred Tarski.

Bibliographie

Barwise, J., & Etchemendy, J. (1993). Tarski's world. Stanford, Calif: CSLI Publ.
Barker-Plummer, D., Barwise, J., & Etchemendy, J. (2008). Tarski's world. Stanford, Calif: CSLI Publications.
The Openproof Project at CSLI : page web de Tarski's World, Dave Barker-Plummer, Jon Barwise et John Etchemendy en collaboration avec Albert Liu

↑ Goldson, D., (1994) Review of The Language of First-Order Logic, including the Macintosh Program Tarski's World. The Philosophical Quarterly, 44, 175, 272–275.
↑ Fallis, D.,(1999). Review of The Language of First-Order Logic, Including the IBM-Compatible Windows Version of Tarski's World 4.0. Journal of Symbolic Logic, 64, 2, 916–918.
↑ Compton, K. J., (1993). Review of The Language of First-Order Logic, including the Program Tarski's World. Journal of Symbolic Logic, 58, 1, 362–363.
↑ Bailhache, P.(1992). Review of The Language of First-Order Logic, Including the Macintosh™ Tarski's World. Studia Logica, 51, 1, 145–147.
↑ Goldson, D., Reeves, S. and R. Bornat (1993) A Review of Several Programs for the Teaching of Logic, The Computer Journal, Volume 36, Issue 4, pp. 373-386