Skip to main content
Elsevier

Formal Systems and Recursive Functions

  • 1st Edition, Volume 40 - January 1, 1965
  • Latest edition
  • Author: Lev D. Beklemishev
  • Language: English

Purchase options

Sorry, this title is not available for purchase in your country/region.

End of Summer Sale

Save up to 30% off

Bright savings for research, study, and discovery

Shop the summer sale

Readership

Students and researchers in Logic (Mathematics, Computer Science, Philosophy).

Product details

  • Edition: 1
  • Latest edition
  • Volume: 40
  • Published: April 1, 2000
  • Language: English

About the author

LB

Lev D. Beklemishev

Affiliations and expertise
Steklov Institute of Mathematics, Moscow and Utrecht University.

View book on ScienceDirect

Read Formal Systems and Recursive Functions on ScienceDirect