Implementing Mathematics with The Nuprl Proof Development System
Autor:
R L Constable
Dostupnost:
Skladem u dodavatele
Odesíláme za 9-15 dnů
289
Kč
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
