Publication services
→
TOBIAS-lib - Publikationen und Dissertationen
→
7 Mathematisch-Naturwissenschaftliche Fakultät
→
Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by Author

Browsing 7 Mathematisch-Naturwissenschaftliche Fakultät by Author "Olkhovikov, Grigory K."

Now showing items 1-1 of 1

Proof-theoretic harmony and the levels of rules: Generalised non-flattening results

Olkhovikov, Grigory K.; Schroeder-Heister, Peter (2014); Article; Second Pisa Colloquium in Logic, Language and Epistemology. Ed. by Enrico Moriconi and Laura Tesconi. Pisa: Edizioni ETS 2014, pp. 245-287

Now showing items 1-1 of 1

Browse

All of DSpace
This Collection

My Account

Login