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
Autores principales: Loveland, Donald W. (Autor, Contribuidor), Hodel, Richard E. (Autor, Contribuidor), Sterrett, S. G. (Autor, Contribuidor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, NJ : Princeton University Press, [2014]
Edición:Course Book
Temas:
Acceso en línea:Texto completo
Texto completo