Robuta

https://msclogic.illc.uva.nl/people/person/5880/Wojciech-Szpytma Wojtek Szpytma | Master of Logic wojtek master logic https://www.illc.uva.nl/People/Table/person/5880/Wojtek-Szpytma Wojtek Szpytma | Institute for Logic, Language and Computation institute for wojtek logic language computation