Subject: Recursive functions

Sub-subjects

Books under this subject

• Computability and Logic by George S. Boolos (191 copies)
• Computability and Unsolvability (Mcgraw-Hill Series in… by Martin Davis (88 copies)
• Theory of Recursive Functions and Effective Computability by Hartley Rogers (41 copies)
• Recursive Macroeconomic Theory by Lars Ljungqvist (32 copies)
• Theory of Formal Systems. (AM-47) (Annals of Mathematics… by Raymond M. Smullyan (12 copies)
• Recursive functions by Rózsa Péter (5 copies)
• Recursive function theory and logic by Ann Yasuhara (4 copies)
• Enumerability, decidability, computability An introduction… by Hans Hermes (1 copies)
• Stepeni nerazreshimosti problemy tozhdestva dli︠a︡… by Aleksandr Abramovich. [from old catalog] Fridman (1 copies)