The Logic of Recursive Equations

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.

Abstract

Abstract is missing.