Hey!! :o
Is the following formulation of the reduction correct?
Undecidability of an (positive) existential theory $T$ is proved often by…
No comments:
Post a Comment