Michael L. Tiomkin. Proving unprovability. In Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK. pages 22-26, IEEE Computer Society, 1988.
@inproceedings{Tiomkin88, title = {Proving unprovability}, author = {Michael L. Tiomkin}, year = {1988}, researchr = {https://researchr.org/publication/Tiomkin88}, cites = {0}, citedby = {0}, pages = {22-26}, booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society}, }