Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney. The Logic of Recursive Equations. Journal of Symbolic Logic, 63(2):451-478, 1998.
No references recorded for this publication.
No citations of this publication recorded.