Emptiness and Discharge in Sequent Calculus and Natural Deduction

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Arndt, Michael
dc.contributor.author Tranchini, Luca
dc.date.accessioned 2017-05-26T13:33:33Z
dc.date.available 2017-05-26T13:33:33Z
dc.date.issued 2014
dc.identifier.issn 1572-6126
dc.identifier.uri http://hdl.handle.net/10900/76455
dc.language.iso en de_DE
dc.publisher Springer Int Publishing Ag de_DE
dc.relation.uri http://dx.doi.org/10.1007/978-3-319-06080-4_2 de_DE
dc.rights info:eu-repo/semantics/closedAccess
dc.subject.ddc 300 de_DE
dc.title Emptiness and Discharge in Sequent Calculus and Natural Deduction de_DE
dc.type Article de_DE
dc.type ConferenceObject de_DE
utue.publikation.seiten S. 13-29 de_DE
utue.personen.roh Arndt, Michael
utue.personen.roh Tranchini, Luca
dcterms.isPartOf.ZSTitelID Trends in Logic Studia Logica Library de_DE
dcterms.isPartOf.ZS-Volume 41 de_DE


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige