Multiset Theory (1989)

by W D Blizard
Venue:Notre Dame J. Formal Logic