Carnegie Mellon University
Browse

Transfer Principles in Nonstandard Intuitionistic Arithmetic

Download (1.07 MB)
journal contribution
posted on 2000-01-07, 00:00 authored by Jeremy Avigad, Jeffrey Helzner
Jeremey Avigad and Jeffery Helzner. Transfer Principles in Nonstandard Intuitionistic Arithmetic.

History

Publisher Statement

All Rights Reserved

Date

2000-01-07

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC