TY  - JOUR
AU  - Silvia Likavec
AU  - Pierre Lescanne
TI  - On Semantics of a Term Calculus for Classical Logic
JO  - Publications de l'Institut Mathématique
PY  - 2012
SP  - 79 
VL  - _N_S_92
IS  - 106
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2012_N_S_92_106_a5/
LA  - en
ID  - PIM_2012_N_S_92_106_a5
ER  -