Chong C T

Techniques of admissible recussion theory Chong C T - Berlin Springer-Verlag 1984 - ix,214p. cm. - Lecture notes in mathematics; 1106 .

Appendix 196-205p.

40045

Textual


Mathematical logic

B:(R1), M4