Hajnal Andréka, William Craig, István Németi. A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality. Journal of Symbolic Logic, 53(3):834-839, 1988.
@article{AndrekaCN88,
title = {A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality},
author = {Hajnal Andréka and William Craig and István Németi},
year = {1988},
tags = {logic},
researchr = {https://researchr.org/publication/AndrekaCN88},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {53},
number = {3},
pages = {834-839},
}