Rajaa
Hakutulokset: 0198501277 kuuluu kategoriaan kirjat
Rajaa
yksi hakutulos.
Twenty Five Years of Constructive Type Theory
sidottu,
1998,
englanti,
ISBN 9780198501275
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader …