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 |
Загрузка...