A bilateral Hilbert-style investigation of 2-intuitionistic logic

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Fingerprint

Подробные сведения о темах исследования «A bilateral Hilbert-style investigation of 2-intuitionistic logic». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Математика

Гуманитарные науки и искусство