K teorii konečných automatů (neuronových sítí) Miroslav Mleziva — 1960 Pokroky matematiky, fyziky a astronomie
Die Unabhängigkeit des Axiomensystems des Aussagenkalküls von Hermes und Scholz Miroslav Mleziva — 1959 Časopis pro pěstování matematiky
K axiomatisaci trojhodnotové výrokové logiky Miroslav Mleziva — 1961 Časopis pro pěstování matematiky