Finite algorithmic procedures and inductive definability


Johan Moldestad
Bok Engelsk 1978

Detaljer

Bibliotek som har denne