Математическая логика — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 17: Строка 17:
 
[[Лекция 7]]
 
[[Лекция 7]]
  
[[Лекция 8]]
+
[[Геделева нумерация. Арифметизация доказательств]]
  
 
[[1я и 2я теоремы Геделя о неполноте арифметики]]
 
[[1я и 2я теоремы Геделя о неполноте арифметики]]

Версия 23:33, 14 января 2012