- 2 402 202 книги
- Поиск
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Автор: Sten Lindstrom, Автор: Erik Palmgren, Автор: Krister Segerberg, Автор: Viggo Stoltenberg-HansenКатегория: Математика, Математическая логика
Размер книги: 3.36 Mb
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Автор: Sten Lindstrom, Автор: Erik Palmgren, Автор: Krister Segerberg, Автор: Viggo Stoltenberg-HansenКатегория: Математика, Математическая логика
Размер книги: 3.15 Mb
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, Volume 341)
Автор: Sten Lindström, Автор: Erik Palmgren, Автор: Krister Segerberg, Автор: Viggo Stoltenberg-HansenКатегория: Математика, Математическая логика
Размер книги: 3.32 Mb
Kant's Intuitionism: A Commentary on the Transcendental Aesthetic (Toronto Studies in Philosophy)
Автор: Lorne Falkenstein
Размер книги: 24.28 Mb
Undecidability, Epistemology and Antirealist Intuitionism
Автор: Sheih SanfordКатегория: fiction
Размер книги: 120 Kb
Elements of Intuitionism
Автор: Michael DummettКатегория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration
Размер книги: 3.77 Mb
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Автор: Anne S. TroelstraКатегория: Lecture notes
Размер книги: 705 Kb
One hundred years of intuitionism (1907 - 2007) the Cerisy conference
Автор: Mark van Atten, Автор: Pascal Boldini, Автор: Michel Bourdeau, Автор: Gerhard Heinzmann
Размер книги: 2.83 Mb
Kant's Intuitionism: A Commentary on the Transcendental Aesthetic
Автор: Lorne FalkensteinКатегория: science_books, philosophy
Размер книги: 24.28 Mb
Intuitionism and proof theory: Proceedings Buffalo, 1968
Автор: Lev D. Beklemishev
Размер книги: 3.04 Mb
Kant's Intuitionism: A Commentary on the Transcendental Aesthetic
Автор: Lorne FalkensteinКатегория: Philosophy
Размер книги: 17.41 Mb
