Formal Systems and Recursive Functions
- 1st Edition, Volume 40 - January 1, 1965
- Latest edition
- Author: Lev D. Beklemishev
- Language: English
World Book Day celebration
Where learning shapes lives
Up to 25% off trusted resources that support research, study, and discovery.
Readership
Readership
Students and researchers in Logic (Mathematics, Computer Science, Philosophy).
Product details
Product details
- Edition: 1
- Latest edition
- Volume: 40
- Published: April 1, 2000
- Language: English
About the author
About the author
LB
Lev D. Beklemishev
Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.View book on ScienceDirect
View book on ScienceDirect
Read Formal Systems and Recursive Functions on ScienceDirect