Transfer Principles in Nonstandard Intuitionistic Arithmetic
journal contribution
posted on 2000-01-07, 00:00 authored by Jeremy Avigad, Jeffrey HelznerJeremey Avigad and Jeffery Helzner. Transfer Principles in Nonstandard Intuitionistic Arithmetic.
History
Publisher Statement
All Rights ReservedDate
2000-01-07Usage metrics
Categories
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC