Vista normal Vista MARC Vista ISBD

Juliàn, Iranzo Pascual

Lògica Simbòlica para informàticos - México : Alfaomega - 299p.

Introduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural

ISBN: 9701510720

Subjects--Topical Terms:
LOGICA - CLASIFICACION
LOGICA SIMBOLICA Y MATEMATICA

Dewey Class. No.: 005.131 J854l