Proof-theoretic conservations of weak weak intuitionistic constructive set theories

Author:

Gordeev, Lev

Tübinger Autor(en):

Published in:

Annals of Pure and Applied Logic (2013), Bd. 164, H. SI, S. 1274-1292

Verlagsangabe:

Elsevier Science Bv

Language:

English

Full text:

ISSN:

0168-0072

DDC Classifikation:

510 - Mathematics

Dokumentart:

Article

This item appears in the following Collection(s)