Казанский (Приволжский) федеральный университет, КФУ
КАЗАНСКИЙ
ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ
 
ОСНОВАНИЯ МАТЕМАТИКИ: ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ
Форма представленияУчебно-методическое пособие без грифа
Год публикации2014
Языкрусский
  • Корнеева Наталья Николаевна, автор
  • Библиографическое описание на языке оригинала Корнеева Н.Н. Основания математики: исчисления высказываний и предикатов. - Казань, КФУ. - 2014. - 32 с. [http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf]
    Ключевые слова высказывание, предикат, исчисление, непротиворечивость, полнота
    URL http://libweb.ksu.ru/ebooks/50-ITIS/50_006_A5-000446.pdf
    Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку https://repository.kpfu.ru/?p_id=86551
    Файлы ресурса 
    Название файла Размер (Мб) Формат  
    50_006_A5_000446.pdf 0,25 pdf посмотреть / скачать

    Полная запись метаданных