e-Learning Logic and Mathematics: What we Have and What we Still Need

@incollection{pub1962,
    author = {

Melis, Erica
 and 

Siekmann, Jörg
},
    editor = {

Artemov, S.
 and 

Barringer, H.
 and 

Garcez, A.d'Avila
 and 

Lamb, L.C.
 and 

Woods, J.
},
    title = {e-Learning Logic and Mathematics: What we Have and What we Still Need},
    booktitle = {We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday},
    year = {2005},
    volume = {2},
    pages = {639--662},
    publisher = {College Publications}
}