Publication:4428708

zbMath1052.03005MaRDI QIDQ4428708

Giovanni Sambin

Publication date: 22 September 2003

zbMATH Keywords

intuitionism; constructivism

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

03F50: Metamathematics of constructive systems

Related Items

A Minimalist Foundation at Work