Gruppo Romano di Logica Lineare Presenta i membri, le pubblicazioni e i progetti di ricerca in corso. logica.uniroma3.it/
batiscafo.com