Back to overview

Sulla Teoria della Dimostrazione delle Definizioni Quasi-Induttive

English title On the proof theory of quasi-inductive definitions
Applicant Bruni Riccardo
Contact person Jäger Gerhard
Number 121157
Funding scheme International short research visits
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Information Technology
Start/End 01.02.2008 - 30.04.2008
Approved amount 5'610.00
Show all

Keywords (2)

revision theory of truth; quasi-inductive definitions

Responsible applicant and co-applicants