Siirry suoraan sisältöön
Implementing Mathematics with The Nuprl Proof Development System
Tallenna

Implementing Mathematics with The Nuprl Proof Development System

Kirjailija
R. L. Constable
ISBN
9781468059106
Kieli
englanti
Paino
417 grammaa
Julkaisupäivä
1.1.2012
Sivumäärä
310