[texhax] macros for a semantic tableaux (tree)

P. R. Stanley prstanley at ntlworld.com
Thu Oct 22 15:19:01 CEST 2009


Hi folks
I'm looking for a set of macros for a binary tree resulting from 
application of the semantic tableaux.
Any help would be most appreciated.
Thanks,
Paul



More information about the texhax mailing list