Вікіпедія

Числення висловів мінімальне: відмінності між версіями

Інтерактивний перегляд історії
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Albedo (обговорення | внесок)
128 641 редагування
Рядок 8:
 
* {{ЕК}}
* Янков  В.   А. О расширении интуиционистского пропозиционального исчисления до классического и минимального  — до интуиционистского. «Известия АН СССР. Серия математическая», 1968, т.  32, № 1;
* Johanssonl. Der Minimalkalkfll, ein reduzierter intuitionistischer Formalismus. "Compositio Mathematical 1936, v. 4, fasciculus 1.
 
''К.  П.  Вершинін''.
 
[[Категорія:Формальні методи]]
[[Категорія:Кібернетика]]
[[Категорія:ЧисленняЛогіка]]
Отримано з https://uk.wikipedia.org/wiki/Числення_висловів_мінімальне