Teorija formaľnych sistem - Smullyan, Raymond Merrill, 1919-; Kosovskij, N. K.; Šanin, N. A. (Moskva : Nauka, 1981)