articole
(gol)
Contact
Cont 
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
citește totul
Divided into three parts, it covers: - Model Theory and Recursive Functions - introducing the basic model theory of propositional, 1st order, inductive definitions and 2nd order logic.
ascunde descrierea
- Editură: Springer London Ltd
- Cod:
- Anul publicării: 2012
- Limba: Engleză
- Legarea: Broșată
- Număr de pagini: 361
- Lățimea ambalajului: 15.7 cm
- Înălțimea ambalajului: 23.4 cm
- Adâncimea ambalajului: 2 cm
- Greutatea ambalajului: 534 g
Recenzii