Switch to: References

Add citations

You must login to add citations.
  1. Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.