Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference9 articles.
1. A. Abian,Generalized completness theorem and solvability of systems of boolean equations Zeitschrift f�r Mathematische Logik 16 (1970), pp. 263?264.
2. C. Berge,Hypergraphs, North Holland Mathematical Library v.45, 1989.
3. R. H. Cowen,Two hypergraph theorems equivalent to BPI Notre Dame Journal of Formal Logic 31 (1990), pp. 232?240.
4. R. H. Cowen,Hypergraph satisfiability Reports of Math. Logic 25 (1991), pp. 113?117.
5. R. H. Cowen,Generalizing K�nig's infinity lemma Notre Dame Journal of Formal Logic 38 (1977), pp. 243?247.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献