|
|
 |
| Результат поиска |
Поиск книг, содержащих: Type theory
| Книга | Страницы для поиска | | Ito K. — Encyclopedic Dictionary of Mathematics. Vol. 2 | 411.K | | Marchisotto E.A., Smith J.T. — Legacy of Mario Pieri in Geometry and Arithmetic | 102, 304 | | Pierce B.C. — Basic category theory for computer scientists | 60 | | Ito K. — Encyclopedic Dictionary of Mathematics | 411.K | | Lerner K.L., Lerner B.W. — The gale encyclopedia of science (Vol. 6) | 2:986 | | Monk J.D. — Mathematical Logic | 6 | | Neumann J.V. — Theory of Self-Reproducing Automata | 51, 63—65, 125 | | Aliseda-Llera A., Glabbeek R.V. — Computing Natural Language: Context, Structure, and Processes | 119, 123 | | Shafer G. — The Art of Causal Conjecture | 371—378 | | Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics | 116, 19, 121 | | Gries D. — A Logical Approach to Discrete Math | 211 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 23 | | Curry H.B. — Foundations of Mathematical Logic | 21—22 | | Partee B.H., Meulen A.T., Wall R.E. — Mathematical Methods in Linguistics | 7, 8, 234, 338, 339 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 726, 767 | | Andrews P.B. — A transfinite type theory with type variables | x, xiii, xv, 1, 26, 79 | | Andrews P.B. — An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | 154—200 | | Curry H.B. — Foundations of mathematical logic | 21—22 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 20 |
|
|
|
|
О проекте