Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen
Subtitle: o obsažení klasického výrokového kalkulu v neklasických výrokových kalkulech
By: Miroslav Mleziva
Series: Rozpravy Československé akademie věd. Řada společenských věd -- roč. 76, seš. 13; Rozpravy Československé akademie věd -- roč. 76, seš. 13
Publisher: Academia
Published: 1966
Place of publication: Praha
Language: ger
Number of pages: 71
Subjects: Symbolic and mathematical Logic
Other titles: O obsažení klasického výrokového kalkulu v neklasických výrokových kalkulech.
Notes: Summary in Czech.

Bibliography: p. 70.