First-Order Frege Theory is Undecidable

Warren D. Goldfarb. First-Order Frege Theory is Undecidable. J. Philosophical Logic, 30(6):613-616, 2001. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.