Completeness and Categoricity. Part I: Nineteenth-century Axiomtics to Twentieth-century Metalogic. History and Philosophy of Logic (2002)

by S Awodey, E H Reck