Happening to look back at the front matter of First-Order Logic by Raymond M. Smullyan, I noticed that
The research of this study was sponsored
by the Information Research Division, Air Force Office
of Scientific Research, under Grant No. 433-65.
I had known of the Air Force's role in sponsoring studies in operations research and computing, but I had not known that it sponsored studies in logic per se.
No comments:
Post a Comment