20060511d2004    m  y0rusy5002    ca <br/><br/>
 = Москва 
<br/><br/><label>LCCN: </label>5769513632 
<br/><br/><label>Subjects--Corporate Names: </label><br/>теория<br/>алгебра<br/>высказывания<br/>формулы<br/>логическое следование<br/>булевы функции<br/>множества<br/>отношения<br/>функции<br/>ЭВМ<br/>релейно-контактные схемы<br/>формализованное исчисление<br/>предикаты<br/>логические операции<br/>кванторные операции<br/>неформальные аксиоматические теории<br/>формальные аксиоматические теории<br/>машины Тьюринга<br/>рекурсивные функции<br/>алгоритмы Маркова<br/>теорема Геделя<br/>компьютеры<br/>информатика<br/>искусственный интеллект<br/>программное обеспечение<br/>учебные пособия