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

Show other versions (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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Loveland, Donald W.
Other Authors: Hodel, Richard E., Sterrett, S. G.
Format: Electronic eBook
Language:Inglés
Published: Princeton : Princeton University Press, 2014.
Subjects:
Proof theory.
Computable functions.
Nonclassical mathematical logic.
Théorie de la preuve.
Fonctions calculables.
Logique mathématique non classique.
MATHEMATICS > General.
MATHEMATICS > Linear & Nonlinear Programming.
Berechenbarkeit
Beweistheorie
Nichtklassische Logik
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items