|
|
 |
| Результат поиска |
Поиск книг, содержащих: Wang, Hao
| Книга | Страницы для поиска | | Карпенко А.С. — Логики Лукасевича и простые числа | 47 | | Ewald W. — From Kant to Hilbert, Vol.2 | 754, 790, 1217 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 13, 200 | | Kneale M. — Development of Logic | 473 n., 626 ff., 672 n. | | Knuth D.E. — The art of computer programming (Vol. 1. Fundamental algorithms) | 346, 382, 383, 384 | | Knuth D.E. — The art of computer programming (vol. 1 Fundаmental algorithms) | 383—384 | | Beth E.W. — The foundations of mathematics: A study in the philosophy of science | 392, 394, 473, 482, 497, 508f., 666 | | Rucker R. — Mind Tools. The Five Levels of Mathematical Reality | 221 | | Gries D. — A Logical Approach to Discrete Math | 129, 475 | | Ewald W.B. — From Kant to Hilbert: A source book in the foundations of mathematics. Volume 2 | 754, 790, 1217 | | Robinson A. — Introduction to model theory and to the metamathematics of algebra | 280 | | Wilson R. — Mathematical conversations: selections from The mathematical intelligencer | 407 | | Odifreddi P., Sangalli A., Dyson F. — The Mathematical Century: The 30 Greatest Problems of the Last 100 Years | 102 | | Scott D.S. — Axiomatic Set Theory, Volume 13, Part 1 (Symposium in Pure Mathematics Los Angeles July, 1967) | 321, 325, 330 |
|
|
|
|
О проекте