APA (7th ed.) Citation

(1986). Implementing mathematics: With the Nuprl proof development systems. Prentice-Hall.

Chicago Style (17th ed.) Citation

Implementing Mathematics: With the Nuprl Proof Development Systems. Englewood Cliffs, NJ: Prentice-Hall, 1986.

MLA (9th ed.) Citation

Implementing Mathematics: With the Nuprl Proof Development Systems. Prentice-Hall, 1986.

Warning: These citations may not always be 100% accurate.