Байиф Ж. К. Логические задачи. – М., 1983.

Бурбаки Н. Очерки по истории математики. – М., 1963.

Гарднер М. А ну-ка догадайся! – М.: 1984.

Ивин А.А. По законам логики. – М., 1983.

Клини С. К. Математическая логика. – М., 1973.

Смаллиан P.M. Как же называется эта книга? – М.: 1982.

Смаллиан P.M. Принцесса или тигр? – М.: 1985.

Френкель А., Бар-Хиллел И. Основания теории множеств. – М., 1966.