Mijn boeken
← Catalogus
Serie

Preprint logic series

2 delen · door Lev.D. Beklemishev, L.D. Beklemishev
Leesvolgorde
  1. A finitary treatment of the closed fragment of Japaridze's provability logic
  2. On the limit existence priciples in elementary arithmetic and related topics
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
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