First published in 1990, this book consists of a detailed exposition of results of the theory of "interpretation" developed by G. Kreisel -- the relative impenetrability of which gives the elucidation... This description may be from another edition of this product.