Induction in the Elementary Theory of Types and Names

Sorry, there's nothing here.

Cite this paper

@inproceedings{Jger1987InductionIT, title={Induction in the Elementary Theory of Types and Names}, author={Gerhard J{\"a}ger}, booktitle={CSL}, year={1987} }