Mathematical Logic

Yu. L. Ershov (Szerző)
E. A. Palyutin (Szerző)

Tartalom:
- Introduction
- The propositional calculus
- Set theory
- Truth on algebraic systems
- The calculus of predicates
- Model theory
- Proof theory
- Algorithms and recursive functions

A könyv állapota jó.

Kiadó: Mir Publishers
A kiadás helye: Moszkva
A kiadás éve: 1984
Kötéstípus: Fűzött keménytáblás
Oldalszám: 303
Nyelv: Angol