|
|
 |
| Результат поиска |
Поиск книг, содержащих: Church — Rosser property
| Книга | Страницы для поиска | | Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | 16, 22, 49, 74, 79, 90, 114, 152, 159 | | Becker T., Weispfenning V. — Groebner bases and commutative algebra | 175 | | Jacobs B. — Categorical Logic and Type Theory | 7 | | Hein J.L. — Discrete Structures, Logic, and Computability | 753 | | Stenlund S. — Combinators, λ-Terms and Proof Theory | 32, 45, 73, 126, 156 | | Troelstra A.S. — Basic proof theory | 12 | | Maier D. — The theory of relational databases | see Finite | | Hein J.L. — Theory of Computation: An Introduction | 442 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 81 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 358 | | Szabo M. E. — Algebra of proofs | 1, 3, 277 |
|
|
|
|
О проекте