Notes to Independence Friendly Logic| plato.stanford.edu
1. Games in the History of Logic| plato.stanford.edu