towar
(pusty)
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.
przeczytaj całość
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.
ukryj opis
- Wydawnictwo: Springer London Ltd
- Kod:
- Rok wydania: 2012
- Język: Angielski
- Oprawa: Miękka oprawa
- Liczba stron: 361
- Szerokość opakowania: 15.7 cm
- Wysokość opakowania: 23.4 cm
- Głębokość opakowania: 2 cm
- Waga: 534 g
Recenzja