TY  - BOOK
AU  - Scarpellini,Bruno
ED  - SpringerLink (Online service)
TI  - Proof Theory and Intuitionistic Systems
T2  - Lecture Notes in Mathematics,
SN  - 9783540368755
AV  - QA1-939 
U1  - 510 23
PY  - 1971///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Mathematics, general
N1  - and preliminaries -- A review of Gentzen's second consistency proof -- The intuitionistic system of number theory -- A formally intuitionistic system as strong as classical analysis -- Transfinite induction with respect to recursive wellorderings without function parameters -- A formally intuitonistic theory equivalent to classical transfinite induction with respect to recursive wellfounded trees with function parameters -- A system containing barinduction with respect to decidable predicates -- Harrop formulas -- The Markov principle -- Relative consistency proof of ZTN with respect to ZTi/IN*
UR  - http://dx.doi.org/10.1007/BFb0068783
ER  -