Menu Expand
Provability, Computability and Reflection

Provability, Computability and Reflection

Lev D. Beklemishev

(2000)

Additional Information

Abstract

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.