A review of [38] and [39 (1982)

by G Kreisel
Venue:Journal of Symbolic Logic