Date of Original Version
1-7-2000
Type
Technical Report
Abstract or Table of Contents
Jeremey Avigad and Jeffery Helzner. Transfer Principles in Nonstandard Intuitionistic Arithmetic.
1-7-2000
Technical Report
Jeremey Avigad and Jeffery Helzner. Transfer Principles in Nonstandard Intuitionistic Arithmetic.
Comments
CMU-PHIL-110