DaftarIsitemplate |
Call Number |
511.3 Cor m |
Title |
Mathematical logic: a course with exercise Part II Recursion theory, godels theorems, set theory, model theory/ Rene Cori |
Author |
Cori, Rene; |
Publisher |
New York: Oxford University, 2001 |
Subject |
Logic symbolic and mathematical |
Location |
FASILKOM-UI; |