dr Karol Pąk

Publikacje

1. C. Kaliszyk, K. Pąk
   Combining Higher-order Logic with Set Theory Formalizations
   J. Automat. Reason. 67 (2023), no. 2, 1-23, (Article number: 20 (2023) ).
   DOI: 10.1007/s10817-023-09663-5
2. K. Pąk
   Conway Numbers - Formal Introduction
   Form. Math. 31 (2023), no. 1, 193-203.
   DOI: 10.2478/forma-2023-0018
3. K. Pąk
   Integration of Game Theoretic and Tree Theoretic Approaches to Conway Numbers
   Form. Math. 31 (2023), no. 1, 205-213.
   DOI: 10.2478/forma-2023-0019
4. K. Pąk
   The Ring of Conway Numbers in Mizar
   Form. Math. 31 (2023), no. 1, 215-228.
   DOI: 10.2478/forma-2023-0020