"Number theoretic density and logical limit laws" - читать интересную книгу автора (Stanley N. Burris)