Title: Two hypergraph theorems equivalent to BPI
Author(s): R.H. Cowen
Appeared: Notre Dame J. Formal Logic , 1990, , 31, 232-240.
Notes: NULL
Status: published
Display: Cowen, R.H. 1990
ID: 69

Back