Implementing mathematics : with the Nuprl proof development system

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

Annen tittel	Implementing legislation for the Protocol on Environmental Protection to the Antarctic Treaty
Utgitt	Englewood Cliffs, N.J. : Prentice-Hall , c1986
Omfang	x, 299 s.
Emner	Matematisk logikk - Databehandling
ISBN	0134518322