- Publikationsdienste
- →
- Universitätsbibliographie
- →
- 7 Mathematisch-Naturwissenschaftliche Fakultät
- →
- Dokumentanzeige « zurück
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 | 2015-06-12T14:54:55Z | |
| dc.date.available | 2015-06-12T14:54:55Z | |
| dc.date.issued | 2014 | |
| dc.identifier.issn | 0039-3215 | |
| dc.identifier.uri | http://hdl.handle.net/10900/63631 | |
| dc.language.iso | en | de_DE |
| dc.publisher | Springer | de_DE |
| dc.relation.uri | http://dx.doi.org/10.1007/s11225-014-9562-3 | de_DE |
| dc.rights | info:eu-repo/semantics/closedAccess | |
| dc.subject.ddc | 300 | de_DE |
| dc.subject.ddc | 510 | de_DE |
| dc.title | The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony | de_DE |
| dc.type | Article | de_DE |
| utue.quellen.id | 20150423052756_00203 | de_DE |
| utue.publikation.seiten | 1185-1216 | de_DE |
| utue.personen.roh | Schroeder-Heister, Peter | |
| dcterms.isPartOf.ZSTitelID | Studia Logica | de_DE |
| dcterms.isPartOf.ZS-Issue | SI | de_DE |
| dcterms.isPartOf.ZS-Volume | 102 | de_DE |
| utue.fakultaet | 07 Mathematisch-Naturwissenschaftliche Fakultät | de_DE |
Dateien zu dieser Ressource
| Dateien | Größe | Format | Anzeige |
|---|---|---|---|
|
Zu diesem Dokument gibt es keine Dateien. |
|||