Full Description
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.
-
- 洋書電子書籍
- Solidification End …
-
- 電子書籍
- Vimが好きになる本



