Formal systems and recursive functions : proceedings of the eight logic colloquium, Oxford, July 1963
edited by J.N. Crossley and M.A.E. Dummett
Bok Engelsk 1965 Logic Colloquium,· Konferanser
| Utgitt | Amsterdam : North-Holland Publishing Company , 1965
|
|---|---|
| Omfang | 320 s.
|
| Emner | |
| Sjanger |
