Note on Conditional Constructivity

DOI10.1007/978-3-540-75939-3_2zbMath1122.03060OpenAlexW1579721972MaRDI QIDQ5425995

Matthias Baaz

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_2

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume I
• Controlling witnesses

This page was built for publication: Note on Conditional Constructivity