| |
Reviews about "Mathematical Logic (F.4.1)":
|
 The HOL light theory of Euclidean space
Harrison J. Journal of Automated Reasoning 50(2): 173-190, 2013. Type: Article
|
A course on mathematical logic (2nd ed.)
Srivastava S., Springer Publishing Company, Incorporated, New York, NY, 2013. 210 pp. Type: Book (978-1-461457-45-9)
|
Mathematical logic for computer science (3rd ed.)
Ben-Ari M., Springer Publishing Company, Incorporated, New York, NY, 2012. 361 pp. Type: Book (978-1-447141-28-0)
|
Rough sets and intelligent systems - Professor Zdzisław Pawlak in memoriam (Vol. 2)
Skowron A., Suraj Z., Springer Publishing Company, Incorporated, New York, NY, 2012. 656 pp. Type: Book (978-3-642303-40-1)
|
A canonical locally named representation of binding
Pollack R., Sato M., Ricciotti W. Journal of Automated Reasoning 49(2): 185-207, 2012. Type: Article
|
Logic: the laws of truth
Smith N., PRINCETON UNIVERSITY PRESS, Princeton, NJ, 2012. 576 pp. Type: Book (978-0-691151-63-2)
|
Computational logic and human thinking: how to be artificially intelligent
Kowalski R., Cambridge University Press, New York, NY, 2011. 332 pp. Type: Book (978-0-521123-36-5)
|
more...
|
|
|
|
