Is the intuitionistic bar-induction a constructive principle?

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

3 Zitate (Scopus)

Originalsprache	Englisch
Seiten (von - bis)	583-588
Seitenumfang	6
Fachzeitschrift	Notre Dame Journal of Formal Logic
Jahrgang	18
Ausgabenummer	4
DOIs	https://doi.org/10.1305/ndjfl/1093888122
Publikationsstatus	Veröffentlicht - Okt. 1977
Extern publiziert	Ja

Zugriff auf Dokument

@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",