Completeness and categoricity. Part I: Nineteenth-century axiomatics to twentieth-century metalogic, History and Philosophy of Logic 23 (2002)

by Steve Awodey, Erich H Reck