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

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

Uloženo v:
Podrobná bibliografie
Hlavní autor: Loveland, Donald W.. (Autor)
Další autoři: Hodel, Richard E.. (Auteur), Sterrett, S. G..
Médium: E-Book
Jazyk: Anglais
Vydáno: Princeton : Princeton University Press, 2014.
Témata:
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
On-line přístup: Accès à l'E-book

Internet

Accès à l'E-book

Podobné jednotky