Britta Schinzel. Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung. Math. Log. Q., 26(14-18):215-226, 1980. [doi]
@article{Schinzel80, title = {Zerlegung mit Vergleichsbedingungen Einer Gödelnumerierung}, author = {Britta Schinzel}, year = {1980}, doi = {10.1002/malq.19800261403}, url = {http://dx.doi.org/10.1002/malq.19800261403}, researchr = {https://researchr.org/publication/Schinzel80}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {26}, number = {14-18}, pages = {215-226}, }