X-1990-08: Provability Logics for Natural Turing Progressions of Arithmetical Theories

X-1990-08: Beklemishev, L.D. (1990) Provability Logics for Natural Turing Progressions of Arithmetical Theories. [Report]

[img]
Preview
Text (Full Text)
X-1990-08.text.pdf

Download (3MB) | Preview
Item Type: Report
Report Nr: X-1990-08
Series Name: Technical Notes (X) Series
Year: 1990
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/586

Actions (login required)

View Item View Item