Switch to: References

Add citations

You must login to add citations.
  1. A weak absolute consistency proof for some systems of illative combinatory logic.M. W. Bunder - 1983 - Journal of Symbolic Logic 48 (3):771-776.