Publisher
Springer Science and Business Media LLC
Reference8 articles.
1. Bunder, M.W.: A one axiom set theory based on higher order predicate calculus. Arch. Math. Logik23, 99–107 (1983)
2. Bunder, M.W.: Set theory in predicate calculus with equality. Arch. Math. Logik23, 109–113 (1983).
3. Bunder, M.W.: A weak absolute consistency proof for some systems of illative combinatory logic. J. Symb. Logic48, 121–126 (1983).
4. Bunder, M.W.: A characterization of inconsistency proofs in illative combinatory logic. The University of Wollongong, Department of Mathematics, Preprint Series No. 3/81.
5. Curry, H.B., Feys, R.: Combinatory logic. Amsterdam: North-Holland 1958.