Proof-theoretic conservations of weak weak intuitionistic constructive set theories

dc.contributor.author	Gordeev, Lev	de_DE
dc.date.accessioned	2014-04-01T09:47:11Z
dc.date.available	2014-04-01T09:47:11Z
dc.date.issued	2013	de_DE
dc.identifier.issn	0168-0072	de_DE
dc.identifier.uri	http://hdl.handle.net/10900/50728
dc.language.iso	en	en
dc.publisher	Elsevier Science Bv	de_DE
dc.relation.uri	http://dx.doi.org/10.1016/j.apal.2013.06.012	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	510	de_DE
dc.title	Proof-theoretic conservations of weak weak intuitionistic constructive set theories	de_DE
dc.type	Article	de_DE
utue.quellen.id	20140116051827_00140	de_DE
utue.publikation.seiten	1274-1292	de_DE
utue.personen.roh	Gordeev, Lev	de_DE
dcterms.isPartOf.ZSTitelID	Annals of Pure and Applied Logic	de_DE
dcterms.isPartOf.ZS-Issue	SI	de_DE
dcterms.isPartOf.ZS-Volume	164	de_DE
utue.fakultaet	Universität Tübingen (ohne Fakultätsangabe)	de_DE