Natural Deduction for Dual-intuitionistic Logic

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Tranchini, Luca
dc.date.accessioned 2014-03-20T14:10:30Z
dc.date.available 2014-03-20T14:10:30Z
dc.date.issued 2012
dc.identifier.issn 0039-3215
dc.identifier.uri http://hdl.handle.net/10900/50271
dc.language.iso en de_DE
dc.publisher Springer de_DE
dc.relation.uri http://dx.doi.org/10.1007/s11225-012-9417-8 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.subject.ddc 300 de_DE
dc.subject.ddc 510 de_DE
dc.title Natural Deduction for Dual-intuitionistic Logic de_DE
dc.type Article de_DE
utue.quellen.id 20140226071329_02055 de_DE
utue.publikation.seiten 631-648 de_DE
utue.personen.roh Tranchini, Luca
dcterms.isPartOf.ZSTitelID Studia Logica de_DE
dcterms.isPartOf.ZS-Issue 3 de_DE
dcterms.isPartOf.ZS-Volume 100 de_DE
utue.fakultaet 07 Mathematisch-Naturwissenschaftliche Fakultät de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige