|
dkflbvbhknb |
математическая логика  13.03.2011, 16:03 |
|
02/03/11
2
|
|
Помогите пожалуйста решить или подскажите где можно найти решение следующей проблемы: в книге "Математическая логика" (А.Н. Колмогоров А.Г. Драгалин) 2005 г. на стр. 64 имеется индуктивное определение конгруэнтности формул. В книге Математическая логика (Ю.Л. Ершов Е.А. Палютин) 2004 г. на стр. 131 имеется "нормальное" определение этого понятия. Нужно доказать эквивалентность этих определений. У меня ничего с этим не получается. Буду Вам очень благодарен. Можно пообщаться по этому поводу в агенте или icq.
|
|
|
|
 |
  |
Страница 1 из 1
|
[ 1 сообщение ] |
|
Модераторы: Модераторы Математики, Супермодераторы
