著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Mleziva, Miroslav",Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen = O obsaz̆eni klasického výrokového kalkulu v neklasických výrokových kalkulech,,Academia,1966,Rozpravy Československé akademie věd,,,,https://cir.nii.ac.jp/crid/1130000797701692032