18 September 2014 2ª Escola Estiva della IAOA – Nicholas Asher – Types, Semantics and Ontology Ci spiace, ma questo articolo è disponibile soltanto in English.