papers courses logic  animations thesis
jaspars@science.uva.nl nl-1012ba 56 amsterdam holland (+31) 20 421 1501