<div class="csl-bib-body">
<div class="csl-entry">Mahler, S. (2024, September 12). <i>Proof Schemata and Primitive Recursive Arithmetic</i> [Conference Presentation]. 6th International School and Workshop on Proof Theory (Proof Society 2024), Birmingham, United Kingdom of Great Britain and Northern Ireland (the). http://hdl.handle.net/20.500.12708/211019</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/211019
-
dc.language.iso
en
-
dc.subject
Proof Schemata
en
dc.subject
Primitive Recursive Arithmetic
en
dc.subject
Inductive Proofs
en
dc.title
Proof Schemata and Primitive Recursive Arithmetic
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Conference Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
6th International School and Workshop on Proof Theory (Proof Society 2024)
