Volume 15, issue 4, December 2021

6 articles in this issue

  1. k-Provability in \(\hbox {PA}\)

    Authors

    • Paulo Guilherme Santos
    • Reinhard Kahle
    • Content type: OriginalPaper
    • Open Access
    • Published: 09 June 2021
    • Pages: 477 - 516