|
|
 |
| Результат поиска |
Поиск книг, содержащих: Substitution lemma
| Книга | Страницы для поиска | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 52 | | Goldblatt R. — Topoi | 250, 4! | | Jacobs B. — Categorical Logic and Type Theory | 126 | | Taubner D. — Finite кepresentations of CCS and TCSP зrograms by фutomata and Petri Nets | 12 | | Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science | 558, 570 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 52 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 52 | | Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 191 |
|
|
|
|
О проекте