Concrete Mathematics. Finitistic Approach to Foundations.

Marcin Mostowski, Marek Czarnecki

Browse the full WoLLIC paper archive.