Review of Pour El and Richards (1974)

by G Kreisel
Venue:Journal of Symbolic Logic