Concepts and Axioms

DOI10.1093/PHILMAT/6.2.195zbMATH Open0913.03003OpenAlexW2097243082WikidataQ114631634 ScholiaQ114631634MaRDI QIDQ4224767

A. S. Troelstra

Publication date: 24 May 1999

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/1280a30a2404c29df9a72516d59747ac35ad82de

zbMATH Keywords

theory of meaningchoice sequencestransition from informal concepts to mathematically precise notions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Concepts and Axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4224767)