scientific article

From MaRDI portal

Publication:3946163

Jump to:navigation, search

zbMath0486.03031MaRDI QIDQ3946163

Arend Heyting

Publication date: 1981

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

zbMATH Keywords

spreads choice sequences intuitionistic continuum lawless sequence evolution of Brouwers ideas negative continuity theorem second order restrictions

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

The creating subject, the Brouwer-Kripke schema, and infinite proofs

This page was built for publication:

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