Concepedia

Publication | Closed Access

A functional interpretation for nonstandard arithmetic

DOI

52

Citations

32

References

2012

Year

Benno van den Berg, Eyvind Martol Briseid, Pavol Safarik
Annals of Pure and Applied Logic

References

YearCitations

Page 1