Formal systems and recursive functions : proceedings of the eight logic colloquium, Oxford, July 1963


Logic Colloquium
Bok Engelsk 1965

Detaljer

Bibliotek som har denne