Roderic A. Girle, I. C. Hinckfuss. Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987. Journal of Symbolic Logic, 53(4):1283-1286, 1988.
@article{GirleH88,
title = {Australasian Association for Logic Annual Conference, 1987, Brisbane, 1987},
author = {Roderic A. Girle and I. C. Hinckfuss},
year = {1988},
tags = {C++, logic},
researchr = {https://researchr.org/publication/GirleH88},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {53},
number = {4},
pages = {1283-1286},
}