Vignettes from package 'logicFS'
logicFS Manual -
PDF
R
LaTeX/noweb