2014 dxdy logo

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

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




 
 Логика второго порядка
Сообщение28.02.2015, 15:04 
Подскажите, пожалуйста, литературу по логике второго порядка (где кванторы можно навешивать по предикатным и функциональным переменным).

 
 
 
 Re: Логика второго порядка
Сообщение28.02.2015, 23:49 
 i  Оффтоп удален.

 
 
 
 Re: Логика второго порядка
Сообщение01.03.2015, 23:28 
Г. Такеути Теория доказательств

 
 
 
 Re: Логика второго порядка
Сообщение02.03.2015, 00:34 
Mitrius_Math в сообщении #983700 писал(а):
Подскажите, пожалуйста, литературу по логике второго порядка
Peter Hinman. Fundamentals of Mathematical Logic (параграф 3.6)
Shapiro. Foundations without Foundationalism: A Case for Second-Order Logic

 
 
 
 Re: Логика второго порядка
Сообщение11.03.2015, 23:13 
Спасибо. Хотелось бы на русском языке. Кроме Такеути, пока ничего не нашёл.

 
 
 [ Сообщений: 5 ] 


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