Intuitionistic sets and numbers: small set theory and Heyting arithmetic.
Saved in:
| Title: | Intuitionistic sets and numbers: small set theory and Heyting arithmetic. |
|---|---|
| Authors: | Shapiro, Stewart1, shapiro.4@osu.edu, McCarty, Charles2, Rathjen, Michael3, michrathjen@snafu.de |
| Source: | Archive for Mathematical Logic; Feb2025, Vol. 64 Issue 1, p79-105, 27p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 09335846 |
|---|---|
| DOI: | 10.1007/s00153-024-00935-4 |