Recently added
DSpace Repositorium (Manakin basiert)
Einloggen
Publikationsdienste
→
TOBIAS-lib - Publikationen und Dissertationen
→
7 Mathematisch-Naturwissenschaftliche Fakultät
→
Recent submissions
« zurück
JavaScript is disabled for your browser. Some features of this site may not work without it.
7 Mathematisch-Naturwissenschaftliche Fakultät: Recent submissions
Anzeige der Dokumente 661-665 von 4720
Vorherige Seite
Nächste Seite
Sequent Calculi and Bidirectional Natural Deduction: On the Proper Basis of Proof-theoretic Semantics
Schroeder-Heister, Peter
(
2009
)
;
Wissenschaftlicher Artikel
;
The Logica Yearbook 2008, ed. by Michal Peliš. London: College Publiations 2009, pp. 237-251
Girard's "Fixpoint Theorem"
Hallnäs, Lars
;
Schroeder-Heister, Peter
(
1992-02-19
)
;
Verschiedenartige Ressourcen, nicht textgeprägt
General Proof Theory and Definitional Reflection: Notes, 2016
Hallnäs, Lars
;
Schroeder-Heister, Peter
(
2016
)
;
Verschiedenartige Ressourcen, nicht textgeprägt
The Categorical and the Hypothetical: An Inferentialist Critique of the Transmission View of Consequence
Schroeder-Heister, Peter
(
2008
)
;
Verschiedenartige Ressourcen, nicht textgeprägt
Comparative Echolocation Studies on Bats Using the High Duty Cycle Flutter Detecting Strategy
Schöppler, Diana
(
2024-05-30
)
;
Dissertation
;
Journal of Experimental Biology (J Exp Biol (2022) 225 (3): jeb243569; https://doi.org/10.1242/jeb.243569)
Anzeige der Dokumente 661-665 von 4720
Vorherige Seite
Nächste Seite
Veröffentlichen
Kontakt
Verträge
Hilfe und Informationen
Stöbern
Gesamter Bestand
Bereiche & Sammlungen
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Diese Sammlung
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Mein Benutzerkonto
Einloggen