The top documents tagged [calculus of predicates18]

MIR - Ershov Yu. L. and Palyutin E. a. - Mathematical Logic - Mir 1984

---

115 views

Mathematical Logic [Yu. L. Ershov, E. a. Palyutin]

---

24 views