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

Mostrar otras versiones (1)

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
Autor principal: Loveland, Donald W.
Otros Autores: Sterrett, S. G., Hodel, Richard E.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton University Press, 2014.
Colección:Book collections on Project MUSE.
Temas:
Nichtklassische Logik
Beweistheorie
Berechenbarkeit
Proof theory.
Nonclassical mathematical logic.
Computable functions.
MATHEMATICS > Linear & Nonlinear Programming.
MATHEMATICS > General.
Logique mathematique non classique.
Fonctions calculables.
Theorie de la preuve.
Electronic books.
Acceso en línea:Texto completo
Search Result 1
Three Views of Logic : Mathematics, Philosophy, and Computer Science.
por Loveland, Donald W.
Publicado 2014
Texto completo
Electrónico eBook
Mostrar todas las versiones(2)

Ejemplares similares