Latexでタブロー

Tableaux using qtree.qtree package

Vita brevis, ars longa. Omnia vincit Amor.





















フッ素 ガンマ関数$\Gamma(n)$と階乗 $e^{x}$の微分 $\Gamma(p)$の性質 様相論理(Modal Logic) プレイヤー$i$の機械