Warren D. Goldfarb profile picture

Warren D. Goldfarb

Stand Alone

Kurt Gödel: Collected Works: Selected Correspondence, A-ZVolumes IV and V
Kurt Godel: Collected Works: Volume IV
Kurt Godel: Collected Works: Volume V
Decision Problem : Solvable Classes of Quantificational Formulas