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
On the Existence of the Sequent-style Proof Systems
Seyedamirhossein Akbartabatabai (Invited speaker)
LS Formeel redeneren
OFR - Theoretical Philosophy
Activity
:
Talk or presentation
›
Invited talk
›
Academic
Period
11 May 2019
Event title
Workshop on Admissible Rules and Unification III
Event type
Workshop
Location
Prague, Czech Republic
Show on map
Documents & Links
On the Existence of the Sequent-style Proof Systems
File
:
application/pdf, 265 KB
Type
:
Text
X