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...
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 |
Ejemplares similares
-
Three Views of Logic : Mathematics, Philosophy, and Computer Science
por: Loveland, Donald W.
Publicado: (2014) -
An introduction to non-classical logic : from if to is /
por: Priest, Graham
Publicado: (2008) -
Computability and logic.
por: Boolos, George
Publicado: (2007) -
An Introduction to Non-Classical Logic : From If to Is
por: Priest, Graham
Publicado: (2008) -
Computability and logic.
por: Boolos, George
Publicado: (2002)