dc.contributor.author |
Schroeder-Heister, Peter |
|
dc.date.accessioned |
2018-05-23T15:01:10Z |
|
dc.date.available |
2018-05-23T15:01:10Z |
|
dc.date.issued |
2016 |
|
dc.identifier.isbn |
978-3-319-22685-9 |
|
dc.identifier.isbn |
978-3-319-22686-6 |
|
dc.identifier.uri |
http://hdl.handle.net/10900/82030 |
|
dc.language.iso |
en |
de_DE |
dc.publisher |
Cham : Springer |
de_DE |
dc.relation.ispartofseries |
Trends in logic;43 |
|
dc.relation.uri |
https://dx.doi.org/10.1007/978-3-319-22686-6_16 |
de_DE |
dc.rights |
info:eu-repo/semantics/closedAccess |
|
dc.subject.ddc |
004 |
de_DE |
dc.subject.ddc |
100 |
de_DE |
dc.subject.ddc |
510 |
de_DE |
dc.title |
Open problems in proof-theoretic semantics |
de_DE |
dc.type |
BookPart |
de_DE |
utue.publikation.seiten |
253-283 |
de_DE |
utue.personen.roh |
Schroeder-Heister, Peter |
|
utue.publikation.buchdesbeitrags |
Advances in proof-theoretic semantics |
de_DE |