Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Burton Dreben and Warren D. Goldfarb. Addison-Wesley 1979.
Abstract
References
Recommendations
Book review: Human-Computer Interaction, by Jenny Preece, Yvonne Rogers, Helen Sharp, David Benyon, Simon Holland, and Tom Carey (Addison-Wesley, 1994)
One of the most significant events at CHI '94 in Boston did not appear in the program, and although it was conspicuous to some, it probably went unnoticed by most of the attendees. Given the venue, perhaps its name made it blend into the background. At ...
Harry Earl Goheen interview: August 15, 1972: Participant: Mrs. Goheen
Computer Oral History CollectionBorn in 1915, Goheen earned his doctorate from Stanford University in 1940. During the war he served with the Navy in the Pacific. In 1945, Goheen went to Boston to Join Aiken's group at Harvard University. At Harvard, Goheen helped in the Writing of ...
Harry D. Huskey and Mrs. Huskey interview: March 9, 1972
Computer Oral History CollectionHarry Douglas Huskey was born in 1916, in Bryson, North Carolina. He graduated from the University of Idaho in 1937 with a BS in mathematics and physics. He later went to Ohio University where he earned a MA in mathematics and in 1943 received his Ph.D. ...
Comments
Information & Contributors
Information
Published In
![cover image ACM SIGACT News](/cms/asset/3112e03d-5515-4e0d-97c1-629cdc410350/3710795.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 145Total Downloads
- Downloads (Last 12 months)33
- Downloads (Last 6 weeks)4
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in