doc-src/Logics/logics.tex
changeset 1226 e9c01f251f5d
parent 1186 906c32af858d
child 2661 366190b74832
equal deleted inserted replaced
1225:35703accdf31 1226:e9c01f251f5d
    45 \maketitle 
    45 \maketitle 
    46 \pagenumbering{roman} \tableofcontents \clearfirst
    46 \pagenumbering{roman} \tableofcontents \clearfirst
    47 \include{intro}
    47 \include{intro}
    48 \include{FOL}
    48 \include{FOL}
    49 \include{ZF}
    49 \include{ZF}
    50 \include{CHOL}
    50 \include{HOL}
    51 \include{LK}
    51 \include{LK}
    52 %%\include{Modal}
    52 %%\include{Modal}
    53 \include{CTT}
    53 \include{CTT}
    54 %%\include{Cube}
    54 %%\include{Cube}
    55 %%\include{LCF}
    55 %%\include{LCF}