The consistency of the axioms of abstraction and extensionality in a three-valued logic. Academic Article uri icon

publication date

  • October 1971