sgo.to

Hofstadter's PQ

Sam Goto

This is a quick follow up from Hofstadter's MIU.

Here is Hofstadter's PQ system in metamath: