zboží
(prázdné)
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.
číst 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.
schovat popis
- Nakladatel: Springer London Ltd
- Kód:
- Rok vydání: 2012
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 361
- Šířka balení: 15.7 cm
- Výška balení: 23.4 cm
- Hloubka balení: 2 cm
- Váha balení: 534 g
Recenze