Logic for computable functions : description of a machine implementation


Robin Milner
Bok Engelsk 1972

Detaljer

Bibliotek som har denne