First-Order Frege Theory is Undecidable

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

No reviews for this publication, yet.