On barinduction of higher types for decidable predicates

Article OPEN
Scarpellini, Bruno;
(1973)
Share - Bookmark