Provability with Finitely Many Variables

by Robin Hirsch , Ian Hodkinson , Roger D Maddux
Citations:9 - 2 self