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
Logics for Provability and Interpretability
Visser, A.
(Invited speaker)
Activity
:
Talk or presentation
›
Invited talk
›
Popular
Period
2002
Event title
the UCLA Logic Colloquium (Los Angeles)
Event type
Seminar
X