- 2 402 202 книги
- Поиск
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Автор: A. S. Troelstra (Editor)Категория: Математика, Прикладная математика
Размер книги: 21.39 Mb
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
Автор: A. S. Troelstra, Автор: H. Schwichtenberg, Автор: Anne S. TroelstraКатегория: Компьютеры
Размер книги: 3.30 Mb
History of Constructivism in the 20th Century
Автор: Troelstra A SКатегория: fiction
Размер книги: 342 Kb
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
Автор: Troelstra A.S.
Размер книги: 22.34 Mb
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Автор: Anne S. TroelstraКатегория: Lecture notes
Размер книги: 705 Kb
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Автор: Anne S. TroelstraКатегория: Lecture notes
Размер книги: 2.77 Mb
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Автор: A. S. Troelstra, Автор: H. Schwichtenberg, Автор: Anne S. Troelstra
Размер книги: 6.14 Mb
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981
Автор: A.S. Troelstra, Автор: D.van Dalen, Автор: D. Van Dalen
Размер книги: 3.43 Mb
L.E.J.Brouwer Centenary Symposium Proceedings
Автор: A.S. Troelstra, Автор: D.van Dalen, Автор: D. Van Dalen
Размер книги: 6.79 Mb
Model Theory
Автор: Chang C.C., Автор: Keisler H.J., Автор: Troelstra A.S.Категория: Математика
Размер книги: 5.21 Mb
