Login / Signup

Transfer principles in nonstandard intuitionistic arithmetic.

Jeremy AvigadJeremy Helzner
Published in: Arch. Math. Log. (2002)
Keyphrases