Proof-theoretic conservations of weak weak intuitionistic constructive set theories

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record