Hyperproof - Barwise, Jon (Center for the Study of Language and Information, 1994)
Información adicional y actualizada sobre Hyperproof y Tarski's World puede encontrarse en Internet en http://www-csli.stanford.edu/hp/