John Myhill

发表

Some properties of intuitionistic zermelo-frankel set theory

J. Myhill, John Myhill, 1973 .

Intuitionism and Proof Theory

Akiko Kino, Richard Eugene Vesley, J. Myhill, 1970 .

Intuitionism and Proof Theory Proceedings of the Summer Conference at Buffalo, N.Y., 1968

Akiko Kino, John Myhill, Richard Eugene Vesley, 1970 .

Intensional Set Theory

John Myhill, 1985 .