by Neil Tennant. The one-page 1978 informal proof of Goodman and Myhill is regimented in a weak constructive set theory in free logic.
確定! 回上一頁