next up previous contents
Up: Decidability Truth Previous: Post's Correspondence Problem

About this document ...

Decidability -- Truth or Turing?

This document was generated using the LaTeX2HTML translator Version 97.1 (release) (July 13th, 1997)

Copyright © 1993, 1994, 1995, 1996, 1997, Nikos Drakos, Computer Based Learning Unit, University of Leeds.

The command line arguments were:
latex2html -local_icons presentation.tex.

The translation was initiated by root on 6/10/1998