Implementing Mathematics with The Nuprl Proof Development System

Name: Implementing Mathematics with The Nuprl Proof Development System - R. L. Constable
Brand: Createspace Independent Publishing Platform
SKU: 34877472
Price: 89.97 RON
Availability: InStock
ISBN: 9781468059106

De (autor): R.L. Constable

De (autor): R.L. Constable

Citește mai mult

-10%

PRP: 99.97 Lei

Acesta este Prețul Recomandat de Producător. Prețul de vânzare al produsului este afișat mai jos.

89.97Lei

99.97 Lei

Primești 89 puncte

Primești puncte de fidelitate după fiecare comandă! 100 puncte de fidelitate reprezintă 1 leu. Folosește-le la viitoarele achiziții!

Livrare in 2-4 saptamani

Descrierea produsului

Citește mai mult

Detaliile produsului

Categoria: Logic
Autor: R.L. Constable
Editura: Createspace Independent Publishing Platform
An aparitie: 2012

Editie: Paperback

Nr. pagini: 310

Cod: BRT9781468059106

Afisează mai mult

De același autor

Părerea ta e inspirație pentru comunitatea Libris!

Implementing Mathematics with The Nuprl Proof Development System

De (autor): R.L. Constable

De (autor): R.L. Constable

De același autor

Acum se comandă