Q3606209
type: Item
instance of: scholarly article
zbMATH Open document ID: 1157.03320
publication date: 2009-02-26T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 00A30
zbMATH DE Number: 5519284
author: Michael Beeson
MaRDI profile type: Publication
Recommended article: Q3974889
Recommended article: Continuity, Constructibility, and Intuitivity
Recommended article: Logical Approaches to Computational Barriers
Recommended article: Continuity, proof systems and the theory of transfinite computations
Recommended article: Constructive mathematics: a foundation for computable analysis
Recommended article: Intuitionistic/Constructive Accounts of the Continuum Today
Recommended article: From Mathesis Universalis to Provability, Computability, and Constructivity
Recommended article: Constructive decidability of classical continuity
Recommended article: Continuity and computability of reachable sets
Recommended article: Continuity and nondiscontinuity in constructive mathematics
description: scientific article