%0 Journal Article
%A Silvia Likavec
%A Pierre Lescanne
%T On Semantics of a Term Calculus for Classical Logic
%J Publications de l'Institut Mathématique
%D 2012
%P 79 
%V _N_S_92
%N 106
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2012_N_S_92_106_a5/
%G en
%F PIM_2012_N_S_92_106_a5