2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

» » »




  Пред. тема | След. тема 
dred46@mail.ru 
 Книги
Сообщение07.12.2009, 16:57 
Подскажите, не могу найти автоматическое доказательство теоремы Эрбрана - это раздел Мат. логики и пару задач по Эрбрану. Спасибо!
 
 
dred46@mail.ru 
 ГДЕ Найти? Автоматическое доказательство теоремы Эрбрана
Сообщение07.12.2009, 19:21 
(((

 !  Предупреждение за дублирование сообщений!

 
 
 Страница 1 из 1
  [ Сообщений: 2 ] 

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group