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 |