Cargando…

Three Views of Logic : Mathematics, Philosophy, and Computer Science.

Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessib...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Loveland, Donald W.
Otros Autores: Hodel, Richard E., Sterrett, S. G.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton University Press, 2014.
Temas:
Acceso en línea:Texto completo