Undecidability of first order sentences in the theory of free groupoids
Tom 43 / 1956
Fundamenta Mathematicae 43 (1956), 36-45
DOI: 10.4064/fm-43-1-36-45