Bøger af N. (SRI International Shankar
Filter
Sorter efterSorter
Populære
-
550,95 kr. Describes the use of computer programs to check several proofs in the foundations of mathematics.
- Bog
- 550,95 kr.