Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Введение в математическую логику

http://libmeta.ru/resource/mathenc/publication/p1469

Данные

bibliographicCitation

Чёрч А., Введение в математическую логику, пер. с англ., М., 1960

автор

Чёрч А.

Входящие связи

← ссылается на · 7

Минимальное функциональное исчисление Непредикативное определение Правильная интерпретация Предикатная переменная Предложение Пропозициональное исчисление Синтаксис

← цитирует · 7

Минимальное функциональное исчисление Непредикативное определение Правильная интерпретация Предикатная переменная Предложение Пропозициональное исчисление Синтаксис