Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen = O obsažení klasického výrokového kalkulu v neklasických výrokových kalkulech /
Hlavní autor: | |
---|---|
Další autoři: |
Menzel, Ladislav, 1929-1978
(
Překladatel )
|
Korporace: | |
Typ dokumentu: | Kniha |
Jazyk: |
němčina |
Vydavatel: |
Praha :
Academia, nakladatelství Československé akademie věd,
1966.
|
Edice: |
Rozpravy Československé akademie věd. Řada společenských věd ;
ročník 76, sešit 13 |
Předmět: | |