Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Saved in:
Bibliographic Details
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.
Description
ISSN:09335846
DOI:10.1007/s00153-024-00935-4