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.

Authors

Antonius J. C. Hurkens

This author has not been identified. Look up 'Antonius J. C. Hurkens' in Google

Monica McArthur

This author has not been identified. Look up 'Monica McArthur' in Google

Yiannis N. Moschovakis

This author has not been identified. Look up 'Yiannis N. Moschovakis' in Google

Lawrence S. Moss

This author has not been identified. Look up 'Lawrence S. Moss' in Google

Glen T. Whitney

This author has not been identified. Look up 'Glen T. Whitney' in Google