Выдержка из книги
Смаллиан Р.М.
Принцесса или тигр
Через несколько месяцев после того, как была с блеском разрешена загадка банковского сейфа в Монте-Карло, Крейг и Мак-Каллох наконец-то навестили Фергюссона-их очень заинтересовала его логическая машина. Разговор скоро зашел о сущности доказуемости.