. Exact logic and The simplest mathematics. 1980