Jeremy Helzner

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Jeremy Avigad, Jeremy Helzner
Transfer principles in nonstandard intuitionistic arithmetic. Arch. Math. Log. 41 (6) (2002)