Hauptsatz for Higher-Order Modal Logic

Sorry, there's nothing here.

Cite this paper

@article{Nishimura1983HauptsatzFH, title={Hauptsatz for Higher-Order Modal Logic}, author={Hirokazu Nishimura}, journal={J. Symb. Log.}, year={1983}, volume={48}, pages={744-751} }