Издания книги

Теория формальных систем

Реймонд М. Смальян