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 |
---|---|
Autores principales: | , , |
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 |
Internet
Texto completoTexto completo