The complexity of subclasses of logical theories
von Erich Grädel
Universität Basel, 1987
名古屋大学 理学 図書室 理数理
_D||GRA||541621650
Thesis (Ph. D.)--Universität Basel, 1987
Bibliography: p. [65]-67
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル