Книга: A.S. Troelstra «The L. E. J. Brouwer Centenary Symposium»
The L. E. J. Brouwer Centenary Symposium ISBN:9780444864949
ISBN: 9780444864949 |
См. также в других словарях:
Logics for computability — are formulations of logic whichcapture some aspect of computability as a basic notion. This usually involves a mixof special logical connectives as well as semantics which explains how the logic is to be interpreted in a computational… … Wikipedia
Michael Fourman — Michael Paul Fourman Born September 12, 1950 (1950 09 12) (age 61) … Wikipedia
Dirk van Dalen — Dirk van Dalen, Oberwolfach 2008 Dirk van Dalen (* 20. Dezember 1932 in Amsterdam) ist ein niederländischer Mathematiker (mathematische Logik), Wissenschafts Philosoph und Mathematikhistoriker. Inhaltsverzeichnis … Deutsch Wikipedia
Mathematical economics — Economics … Wikipedia