LEADER 00000nam 2200205 a 4500
001 0389388
003 UkHlHU
007 t
008 002508 1 1965 000 eng
040 UkHlHU
050 4 BC 135 C9
100 0 Crossley, John N.
245 00 Formal systems and recursive functions /|cedited by J.N.
Crossley and M. Dummett ; Logic Colloquium, 8th, Oxford,
1963.
260 Amsterdam :|bNorth-Holland,|c1965.
300 320p.
700 0 Dummett, Michael A.E.
946 6XX absent
|