Book Excerpts

Author(s): Pincus, D.
Book: Logic Colloquium 76
Title: Adding dependent choice to the prime ideal theorem
Display: Logic Colloquium 76, Pincus, 1977b, 547-565
Pages: 547-565
Year: 1977b
Comments:
Back