\documentclass[10pt,a4paper]{article}
\usepackage{latexsym,amssymb,amsmath,textcomp}
\usepackage[T2A]{fontenc}
\usepackage[cp1251]{inputenc}
\usepackage[russian]{babel}
\usepackage{indentfirst}
\author{Информационная система <<Формальные теории>>\\
{\ttfamily http://www.theo.ru}}
\title{Описание теории }
\date{}

\begin{document}
\maketitle

 --- .
Теория  сформулирована в языке .



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 66



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 67



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 68



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 69



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 70



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 71



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 72

\section*{Алфавит языка :}

\subsection*{Технические знаки:}
.

\section*{Определение языка :}

\section*{Дедуктивные постулаты :}

\subsection*{Схемы аксиом :}



Warning:  mysql_num_rows(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 98

\begin{enumerate}

\end{enumerate}



Warning:  mysql_result(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 112

\subsection*{Множество правил вывода:}



\renewcommand\refname{Библиография по }
\begin{thebibliography}{99}
\bibitem{bib1}
Информацианная система <<Формальные теории>>.
\newblock Internet: {\ttfamily http://www.theo.ru}, 2005.



Warning:  mysql_num_rows(): supplied argument is not a valid MySQL result resource in /www/vhosts/14059/theo.ru/theories/progs/tex_gener_1.php on line 129

\end{thebibliography}
\end{document}