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

محفوظ في:

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Loveland, Donald W.
مؤلفون آخرون:	Hodel, Richard E., Sterrett, S. G.
التنسيق:	E-Book
اللغة:	Anglais
منشور في:	Princeton : Princeton University Press, 2014.
الموضوعات:	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 mathématique Théorie de la démonstration Logique informatique Logique > Philosophie
Autres localisations:	Voir dans le Sudoc
الوصول للمادة أونلاين:	Accès à l'E-book
مواد ذات صلة:	نموذج إضافي: Three views of logic

Accès à l'E-book

مواد مشابهة