О логике конструктивной математики
Марков А.А.
В брошюре автор делает попытку объяснить понятие "конструктивная математика" и показать читателю, что эта наука нуждается в своей логике, отличной от логики классической. Брошюра, как отмечает автор, не может претендовать на точность и строгость изложения. Это - всего лишь эскизное и беглое описание того, как, по мнению автора, должна строиться логика конструктивной математики.
年:
1972
出版社:
Знание
语言:
russian
页:
48
系列:
Математика, кибернетика
文件:
PDF, 10.41 MB
IPFS:
,
russian, 1972