Intuitionism and proof theory : Proceedings - Kino A ed.; Symposium on Intuitionism and proof theory( 1968 : Buffalo ) (London North-Holland, 1970)
Keywords: Mathematical logic; Proof theory