tovar
(prázdne)
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.
prečítať celé
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.
Skryť popis
- Nakladateľ: Springer London Ltd
- Kód:
- Rok vydania: 2012
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 361
- Šírka balenia: 15.7 cm
- Výška balenia: 23.4 cm
- Hĺbka balenia: 2 cm
- Váha balenia: 534 g
Recenzie