Tarski's World
From Wikipedia, the free encyclopedia
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[1],[2],[3],[4],[5]. Il a été écrit par Jon Barwise and John Etchemendy. Il est nommé en hommage au mathématicien logicien Alfred Tarski.
