Skip to main content
View Cart

Computer Programming and Formal Systems

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

Early spring sale

Nurture your knowledge

Grow your expertise with up to 25% off trusted resources.

Shop now

Readership

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

Product details

  • Edition: 1
  • Latest edition
  • Volume: 26
  • Published: January 1, 1959
  • 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 Computer Programming and Formal Systems on ScienceDirect