Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls / Miroslav Mleziva

Автор: Mleziva, Miroslav
Вид документа: Периодические издания
Опубликовано: Praha : Nakladatelství Československé akademie věd, 1959
Язык: Немецкий
Чешский
Серия: Rozpravy Československé akademie věd Řada společenských věd ; roč. 69, s. 12
Загрузка...