Grāmata ir populārzinātnisks darbs par domāšanas formalizāciju no antīkajiem laikiem līdz kiberpētījumu un datoru laikmetam. Kā cilvēka valoda un loģiskie spriedumi pakāpeniski pārtapa matemātiskos simbolos.
Autors Boriss Birjukovs (1922-2014) viens vadošiem speciālistiem loģikas vēsturē un zinātnes metodoloģijā, zinātnieks, filozofijas zinātņu doktors un profesors.