Caicedo, Xavier
Elementos de lógica y calculabilidad/ Xavier Caicedo - Bogotá: Universidad de Los Andes 1983. - 230 p.; il., grafs
9589216005
Lógica matemática
Lógica
511.3 / C133e
Elementos de lógica y calculabilidad/ Xavier Caicedo - Bogotá: Universidad de Los Andes 1983. - 230 p.; il., grafs
9589216005
Lógica matemática
Lógica
511.3 / C133e