Lauri Hella, Jouko Väänänen. The Size of a Formula as a Measure of Complexity. In Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces, editors, Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Volume 5 of Ontos Mathematical Logic, pages 193-214, De Gruyter, 2015. [doi]
Abstract is missing.