TLDR. Types are basically sets. Why not python sets?| Hey There Buddo!
1. First-order languages and structures| plato.stanford.edu
1. Games in the History of Logic| plato.stanford.edu
Adding new comments is disabled for now.| metarationality.com