An edition of Three Views of Logic (2014)
Mathematics, Philosophy, and Computer Science
By Donald W. Loveland,Richard E. Hodel,S G Sterrett
Publish Date
2014
Publisher
Princeton University Press
Language
eng
Pages
339
Description:
subjects: Logic, Proof theory, Computable functions, Nonclassical mathematical logic, Berechenbarkeit, Beweistheorie, Nichtklassische Logik