Brouwer Fixed Point Theorem in the General Case
Pąk, Karol
The Friendship Theorem
Pąk, Karol
Tietze Extension Theorem for n-dimensional Spaces
Pąk, Karol
Brouwer Invariance of Domain Theorem
Pąk, Karol
Bertrand’s Ballot Theorem
Pąk, Karol
Euler’s Partition Theorem
Pąk, Karol
Vieta’s Formula about the Sum of Roots of Polynomials
Korniłowicz, Artur, Pąk, Karol
Basel Problem
Pąk, Karol, Korniłowicz, Artur
The Matiyasevich Theorem. Preliminaries
Pak, Karol
Diophantine sets. Preliminaries
Pąk, Karol
Diophantine Sets. Part II
Pąk, Karol
Grothendieck Universes
Pąk, Karol