Toward Useful Type-Free Theories. I
Journal of Symbolic Logic - United Kingdom
doi 10.2307/2274093
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 1984
Authors
Publisher
Cambridge University Press (CUP)
Available in full text
March 1, 1984
Cambridge University Press (CUP)