Introduction to Mathematical Logic /

Contenido: Cálculo Proposicional; Teoría de la Cuantificación; Teoría de los Números Formales; Teoría del Conjunto Axiomático; Computo Efectivo.

Guardado en:
Detalles Bibliográficos
Autor principal: Mendelson, Elliott (autor)
Formato: Libro
Idioma:Inglés
Edición:3a edición
Temas:
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!