@misc
{TN_libero_mab2,
author = {
Berardi, Stefano
Stefano Berardi
},
title = {
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness
},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
keywords = {
Inductive Definitions
,
Intuitionism
,
impredicativity
,
omega rule
,
Proof Theory
},
year = {2015},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
}