|
|
 |
| Результат поиска |
Поиск книг, содержащих: Membership relation
| Книга | Страницы для поиска | | Kharazishvili A.B. — Strange functions in real analysis | | | Kneebone G.T. — Mathematical Logic and the Foundation of Mathematics | 284, 286, 288, 296 | | Steen S.W.P. — Mathematical Logic with Special Reference to the Natural Numbers | 168, 170 | | Lavendhomme R. — Basic Concepts of Synthetic Differential Geometry | 270 | | Brown J.R. — Philosophy of Mathematics: An Introduction to a World of Proofs and Pictures | 60, 102 | | Borceux F. — Handbook of Categorical Algebra 3 | 307 | | Jacobs B. — Categorical Logic and Type Theory | 346 | | Elliott Mendelson — Introduction to mathematical logic | 173, 185 | | Steen S. — Mathematical Logic with Special Reference to the Natural Numbers | 168, 170 | | Steen S. — Mathematical Logic | 168, 170 | | Truss J.K. — Foundations of Mathematical Analysis | 113 | | Bird R., de Moor O. — Algebra of programming | 32, 34, 103, 147—151 | | Truss J. — Foundations of mathematical analysis | 113 | | J. K. Truss — Foundations of mathematical analysis MCet | 113 |
|
|
|
|
О проекте