An Independence Result for (II11-CA)+BI
Annals of Pure and Applied Logic - Netherlands
doi 10.1016/0168-0072(87)90078-9
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 1987
Authors
Publisher
Elsevier BV
Available in full text
January 1, 1987
Elsevier BV