On BCK logic and set theory (1986)

by M W Bunder, N C A da Costa