Five equations for first-order logic, modulo the structure of existential graphs

Contributed by Anthony Hart

Source files

Download source .zip

root filemain.tex · root file54 KiB · SHA-256 ea25d93773ace1a5… · view text

Back to the main record