1. Computability: Computable Functions, Logic, And The Foundations Of Mathematics
Author: \ Richard L. Epstein, Walter A. Carnielli
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: توابع محاسبهپذیر,منطق ریاضی,Computable functions, Logic, Symbolic and mathematical
Classification :
QA
9
,.
59
.
E67
2. The semantic foundations of logic
Author: / Richard L.Epstein,with the assistance and collaboration of Walter A.Carnielli...[et al.]
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Logic,Logic,symbolic and mathematical,Semantics
Classification :
160
E64s
