и как из этого у нас появилась конструктивная математика, пруфы?
можете посмотреть лекции пфеннинга по конструктивной логике: https://www.cs.cmu.edu/~fp/courses/15317-f00/handouts/logic.pdf
спасибо вам большое, выглядит как то что мне нужно
Обсуждают сегодня