Constructive Mathematics Is Seemingly Simple but There Are Still Open Problems: Kreisel's Observation Explained

Journal of Innovative Technology and Education
doi 10.12988/jite.2015.5912
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Hikari, Ltd.