Antonius J. C. Hurkens

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney
The Logic of Recursive Equations. J. Symb. Log. 63 (2) (1998)
Antonius J. C. Hurkens
A Simplification of Girard's Paradox. TLCA (1995)