Completeness and Categoricity: Frege, Gödel and Model Theory. History and Philosophy of Logic (1997)

by Stephen Read