Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Home
People
Research units
Research output
Activities
In the media
Prizes & Grants
Search by expertise, name or affiliation
Closed fragments of provability logics of constructive arithmetical theories
Visser, A.
(Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
›
Academic
Period
28 May 2011
Event title
Workshop on Admissible Rules and Unification
Event type
Other
Location
Utrecht
Show on map
X