Complete theories (1956)

by A Robinson