Implementing Mathematics with the Nuprl Proof Development System - Prijzen

Four goals of the book:Offer a tutorial on mathematical ideas which underlie our researchServe as a manual for users of the Nuprl systemGive an overview of the project for those interested in applications of the results and for those inclined to basic research in the areaPresent research which has arisen as we have worked on the Nuprl system

De Implementing Mathematics with the Nuprl Proof Development System is een populaire optie voor Wiskundige logica. Esy heeft 1 prijs gevonden, de goedkoopste keuze is volgens ons Bol, maar bekijk de andere aanbieders om het zeker te weten. Links openen in een nieuwe tabblad. Bekijk hier onder de product specificaties. Meer product informatie beschikbaar bij Bol.

Productspecificaties

Waar te koop

Implementing Mathematics with the Nuprl Proof Development System is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.