Tarski's World
Tarski's World 4.1.2 is a small application designed to accompany The Language of First-Order Logic, 3rd ed. by Barwise ...
| Rating: | |
| Category: | |
| Year released: | |
| Author: |
Turing's World
Turing's World 3.0 is a small application which accompanies the text Turing's World 3.0: An Introduction to Computabilit...
| Rating: | |
| Category: | |
| Year released: | |
| Author: |