Avatar - Giovani di Gesù
Giovani di Gesù

Soundness, completeness, aesthetics

logicmatters.net - Peter Smith

[Update to linked file: 27 Sept]There’s one big change in the latest version of IFL2. I’ve taken up a good suggestion (in so doing, once more …

View on logicmatters.net