scientific article; zbMATH DE number 3496090

From MaRDI portal

Revision as of 05:32, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4077976

Jump to:navigation, search

zbMath0317.02007MaRDI QIDQ4077976

Arend Heyting

Publication date: 1974

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Related Items (2)

Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting ⋮ Realizability and intuitionistic logic

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4077976&oldid=17827024"