Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 2
Number of items: 2
  • Open Access
    Henk, P., & Visser, A. (2017). Interpretability suprema in Peano Arithmetic. Archive for Mathematical Logic, 56(5-6), 555-584. https://doi.org/10.1007/s00153-017-0557-4
  • Open Access
    Henk, P. (2016). Nonstandard provability for Peano Arithmetic: A modal perspective. [Thesis, fully internal, Universiteit van Amsterdam].
Page of