A simple detailed proof for Goedel's incompleteness theorem Aleksei Lʹvovich Semenov (1988) Kybernetika
An essay on model theory Ludomir Newelski (2003) Open Mathematics Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
Axiomatizácia fyzikálnych systémov a „kvantové logiky‟ Sylvia Pulmannová (1983) Pokroky matematiky, fyziky a astronomie