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

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

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Loveland, Donald W.. (Auteur)
Drugi avtorji: Hodel, Richard E.. (Auteur), Sterrett, S. G..
Format: E-Book
Jezik: Anglais
Izdano: Princeton : Princeton University Press, 2014.
Teme:
Mathematics > General.
Mathematics > Linear & Nonlinear Programming.
Mathematics > Philosophy.
Berechenbarkeit.
Beweistheorie.
Computable functions.
Logic and Set Theory.
Logic, Symbolic and mathematical.
Logic.
Mathematics.
Mathematik.
Nichtklassische Logik.
Nonclassical mathematical logic.
Proof theory.
Logique mathématique.
Théorie de la démonstration.
Logique informatique.
Logique > Philosophie.
Autres localisations: Voir dans le Sudoc
Online dostop: Accès à l'E-book

Internet

Accès à l'E-book

Podobne knjige/članki