I see what the not-so-complimentary reviewer meant when he said this author is out of Alice in Wonderland.
You're bragging about a BA degree from Yale?
Of course not. The only interesting thing about the degree was its originality. Fitch, who held the Sterling chair in philosophy at the time, had been pushing for a degree in the separate discipline of logic for about a decade. We finally persuaded both the linguistics and compsci depts to pitch in on the notion. The coursework turned out to be **rather** difficult (n.b. sharp difference between this and a number of other depts; any breathing person can survive the coursework in most of Yale's 'humanities' depts, esp. at that time, when some considerable subgroup of those depts' professoriat were marching in the streets with the radicals).
The only thing I'll ''brag'' about in this context was having written the first-ever programming algorithm to generate complete proofs in propositional calculus (aka sentence logic). Nice little effort, and very non-trivial, esp given the programming tools of the day.
Try it yourself, sometime.
Ta-ta.