Open Access
Spring 1990 Two hypergraph theorems equivalent to ${\rm BPI}$.
Robert H. Cowen
Notre Dame J. Formal Logic 31(2): 232-240 (Spring 1990). DOI: 10.1305/ndjfl/1093635418
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.31 • No. 2 • Spring 1990
Back to Top