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

Afficher d'autres 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...

Description complète

Détails bibliographiques
Auteur principal: Loveland, Donald W.
Autres auteurs: Sterrett, S. G., Hodel, Richard E.
Format: Électronique eBook
Langue:Inglés
Publié: Princeton : Princeton University Press, 2014.
Collection:Book collections on Project MUSE.
Sujets:
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.
Accès en ligne:Texto completo
Description
Résumé: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 accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and fir.
Description matérielle:1 online resource (344 pages).
ISBN:9781400848751

Documents similaires