The Naturality of Natural Deduction

DSpace Repositorium (Manakin basiert)

Zur Kurzanzeige

dc.contributor.author Tranchini, Luca
dc.date.accessioned 2020-05-26T12:23:17Z
dc.date.available 2020-05-26T12:23:17Z
dc.date.issued 2019
dc.identifier.issn 1572-8730
dc.identifier.uri http://hdl.handle.net/10900/100954
dc.language.iso en en
dc.publisher Springer de_DE
dc.relation.uri http://dx.doi.org/10.1007/s11225-017-9772-6
dc.subject.ddc 510 de_DE
dc.subject.ddc 610 de_DE
dc.subject.ddc 004 de_DE
dc.subject.ddc 300 de_DE
dc.title The Naturality of Natural Deduction de_DE
dc.type Article de_DE
utue.quellen.id 20190926111821_02830
utue.publikation.seiten 195-231 de_DE
utue.personen.roh Tranchini, Luca
utue.personen.roh Pistone, Paolo
utue.personen.roh Petrolo, Mattia
dcterms.isPartOf.ZSTitelID Studia Logica de_DE
dcterms.isPartOf.ZS-Issue SI de_DE
dcterms.isPartOf.ZS-Volume 107 de_DE
utue.fakultaet 07 Mathematisch-Naturwissenschaftliche Fakultät


Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

Das Dokument erscheint in:

Zur Kurzanzeige