N of the finite ordinals; but the unextended theory will suffice to illustrate the treatment of extensional equality." /> Extensional equality in the classical theory of types - Tait William W. | sdvig press

Extensional equality in the classical theory of types

William W. Tait

pp. 219-234

Full Text
Download
Other Editions

Text

This document is unfortunately not available for download at the moment.

Not implemented yet !