17-20 are a more formal introduction to combinatory logic, with a special emphasis on fixed point results.
Poglavlja 17-20 su formalniji uvod u kombinatornu logiku, s posebnim naglaskom na rezultate fiksne točke.