![](/img/cover-not-exists.png)
[Handbook of the History of Logic] Computational Logic Volume 9 || Computerising Mathematical Text
Kamareddine, FairouzYear:
2014
Language:
english
DOI:
10.1016/B978-0-444-51624-4.50008-3
File:
PDF, 1.17 MB
english, 2014