Vista normal Vista MARC Vista ISBD

Gutiérrez García, Ismael

Matemáticas para informática - primera edición - Barranquilla: Ediciones Uninorte, 2010. - 188 páginas: gráficos 24 x 16 centímetros;

Lógica matemática.- Cálculo proposicional.- Introducción a la lógica de primer orden.- El sistema axiomático ZF

ISBN: 978-958-741-075-4

Subjects--Index Terms: LÓGICA DE PRIMER ORDEN SISTEMA AXIOMÁTICO ZF CÁLCULO PROPORCIONAL

Dewey Class. No.: 519.7. / G984m