Highly Influenced

@article{Bunder1983AOA, title={A one axiom set theory based on higher order predicate calculus}, author={Martin W. Bunder}, journal={Arch. Math. Log.}, year={1983}, volume={23}, pages={99-107} }

- Published 1983 in Arch. Math. Log.
DOI:10.1007/BF02023016

### Presentations referencing similar topics