Non-extensional type-free theories of partial operations and classifications, I

This publication has 7 references indexed in Scilit:

• A language and axioms for explicit mathematics
  Published by Springer Nature ,1975
• A note on the predicatively definable sets of N. N. Nepeîvoda
  Mathematical Logic Quarterly, 1975
• The consistency of partial set theory without extensionality
  Published by American Mathematical Society (AMS) ,1974
• Axiomatic Recursive Function Theory
  Published by Elsevier ,1971
• First Order Predicate Logic with Generalized Quantifiers
  Theoria, 1966
• The system CΔ of combinatory logic
  The Journal of Symbolic Logic, 1963
• A system of axiomatic set theory—Part I
  The Journal of Symbolic Logic, 1937