unset title
>
Contact_plural
>
Girlando
login
login
password
log in
cancel
search
Girlando
lastname
Girlando
firstname
Marianna
organisation
Institute for Logic, Language and Computation (ILLC), University of Amsterdam (Netherlands)
website
http://www.mariannagirlando.com/Girlando.html
speakers_object
Decision procedures and proof theory: the case of intuitionistic K