JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Schroeder-Heister, Peter | |
| dc.date.accessioned | 2017-07-12T15:14:06Z | |
| dc.date.available | 2017-07-12T15:14:06Z | |
| dc.date.issued | 2015 | |
| dc.identifier.isbn | 978-1-84890-172-8 | |
| dc.identifier.uri | http://hdl.handle.net/10900/76940 | |
| dc.language.iso | en | de_DE |
| dc.publisher | London: College Publications | de_DE |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.subject.ddc | 004 | de_DE |
| dc.subject.ddc | 100 | de_DE |
| dc.title | Proof-theoretic validity based on elimination rules | de_DE |
| dc.type | Article | de_DE |
| utue.publikation.seiten | 159-176 | de_DE |
| utue.personen.roh | Schroeder-Heister, Peter | |
| dcterms.isPartOf.ZSTitelID | Why is this a Proof? Festschrift for Luiz Carlos Pereira | de_DE |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||