← Catalogus
Serie

Preprint logic series

2 delen · door L.D. Beklemishev, Lev.D. Beklemishev
Leesvolgorde
  1. On the limit existence priciples in elementary arithmetic and related topics deel 224
  2. A finitary treatment of the closed fragment of Japaridze's provability logic deel 240
On the limit existence priciples in elementary arithmetic and related topics
L.D. Beklemishev
On the limit existence priciples in elementary arithmetic and related topics
L.D. Beklemishev
Paperback
A finitary treatment of the closed fragment of Japaridze's provability logic
Lev.D. Beklemishev
A finitary treatment of the closed fragment of Japaridze's provability logic
Lev.D. Beklemishev
Paperback