|
|
 |
| Результат поиска |
Поиск книг, содержащих: Free occurrence
| Книга | Страницы для поиска | | Ebbinghaus H.-D., Flum J., Thomas W. — Mathematical logic | 23 | | Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 14 | | Monk J.D. — Mathematical Logic | 176, 177 | | Smullyan R.M., Fitting M. — Set theory and the continuum problem | 128 | | Perrin D., Pin J.-E. — Infinite Words: Automata, Semigroups, Logic abd Games | 331 | | Gries D. — A Logical Approach to Discrete Math | 145, 146 | | Curry H.B. — Foundations of Mathematical Logic | 318, 321—322 | | Heinz-Dieter E., Jorg F., Wolfgang T. — Mathematical Logic | 23 | | Ebbinghaus H., Flum J., Thomas W. — Mathematical Logic: Undergraduate Texts in Mathematics (Undergraduate texts in mathematics) | 23 | | Elliott Mendelson — Introduction to mathematical logic | 48 | | Goldblatt R. — Axiomatising the Logic of Computer Programming | 26, 178ff | | Curry H.B. — Foundations of mathematical logic | 318, 321—322 | | Davis R.E. — Truth, Deduction, and Computation: Logic and Semantics for Computer Science | 46, 153 | | Steen S. — Mathematical Logic | 14 |
|
|
|
|
О проекте