A relevant invalidity in Curry's foundations

Bulletin of the Section of Logic, Tom 16, Numer 1 (1987) s. 51-57
Richard Sylvan

 

do góry