Furio Honsell and Simonetta Ronchi della Rocca. Models for Theories of Functions Strictly Depending on all their Arguments (1986)

by Mariangiola Dezani
Venue:Journal of Symbolic Logic