High Quality Content by WIKIPEDIA articles! Per Erik Rutger Martin-Lof (born 1942) is a Swedish logician, philosopher, and mathematical statistician. He is internationally renowned for his work on the foundations of probability, statistics, mathematical logic, and computer science. Since the late 1970s, Martin-Lof's publications have been mainly in logic. In philosophical logic, Martin-Lof has wrestled with the philosophy of logical consequence and judgment, partly inspired by the work of Brentano, Frege, and Husserl. In mathematical logic, Martin-Lof has been active in developing intuitionistic type theory as a constructive foundation of mathematics; Martin-Lof's work on type theory has influenced computer science. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора...

В наличии:
	Books.Ru - 1128 руб.	Перейти
Под заказ:
	OZON.ru - 1125 руб.	Перейти

Рейтинг книги: 5 из 5, 10 голос(-ов).