Zach, Richard

1. The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
   2001/02/24 by Richard Zach, Zach, Richard · 2 citations
   Mathematics · #01A60 #03-03 (primary) #03F03 (secondary) #FOS: Mathematics #History and Overview (math.HO) #Logic (math.LO) #math.HO #math.LO #msc:01A60 #msc:03-03 #msc:03F03