Universidad Nacional Autónoma de México
Facultad de Ciencias
Catálogo de la Biblioteca "Ricardo Monges López"

The decision problem :

Dreben, Burton,

The decision problem : Solvable classes of quantificational formulas / Burton dreben, Warren d. goldfarb - 271 páginas

"advanced book program"

020102540x


Cálculo de predicados
Irresolubilidad (Lógica matemática)

QA9.35 / D73

Universidad Nacional Autónoma de México 

Biblioteca "Ricardo Monges López" de la Facultad de Ciencias

©2023 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad