Implementing mathematics : with the Nuprl proof development system


R L. Constable ... [et al.]
Bok Språk ikke angitt 1986

Detaljer

Bibliotek som har denne