2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Задачник к Клини
Сообщение28.12.2016, 21:58 


03/06/12
2874
Здравствуйте! Скажите, пожалуйста, а вот существует ли задачник по логике, чтобы подшлифовать изучение метаматематики по Клини? Там про свободу $t$ для $x$ в $A(x)$ (шрифты не те использую, но не суть), а то читаю-читаю, чувствую, что еще плаваю, но понимание приходит, еще бы в задачках покопаться для практики...

-- 28.12.2016, 23:00 --

Я, конечно, понимаю, что к каждой книге задачник не напишешь, но вдруг.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ 1 сообщение ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Mikhail_K


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group