Is the intuitionistic bar-induction a constructive principle?

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

Original language	English
Pages (from-to)	583-588
Number of pages	6
Journal	Notre Dame Journal of Formal Logic
Volume	18
Issue number	4
DOIs	https://doi.org/10.1305/ndjfl/1093888122
State	Published - Oct 1977
Externally published	Yes

Access to Document

@article{508320e14bec4a38be5ff6ae247273a5,

title = "Is the intuitionistic bar-induction a constructive principle?",

author = "Klaus Mainzer",

year = "1977",

month = oct,

doi = "10.1305/ndjfl/1093888122",

language = "English",

volume = "18",

pages = "583--588",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",