Implementing Mathematics with The Nuprl Proof Development System
Автор:
R L Constable
Наличност:
Външен склад
Изпращаме след 9-15 дни
12.60
€
24.65 лв
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
