Valencia M., Victor Farney <br/><br/>
Sistema Modal T  / 
Victor Farney Valencia M.; Jesus Hernando Pérez A., director 
 - 96 h. 
<br/><br/>Tesis (Especialista en Matemáticas Avanzada) -- Universidad Nacional de Colombia. Facultad de Ciencias. Postgrado en Matemáticas Avanzada, 1988 
<br/><br/><label>LCCN: </label>TIPO-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>AXIOMATIZACION<br/>CALCULO PROPOSICIONAL<br/>LOGICA MODAL<br/>MATEMATICAS