S.Aanderaa [1963]. False lemmas (0)

by B Dreben, P Andrews
Venue:in herbrand, Bulletin of the Americal Mathmeatical So0ciety 69: 699–706