• Appalachian State University  
• University of North Carolina at Asheville  
• Western Carolina University

Most Used Titles in Class QA9.35

Rank	TITLE	Lib	Uses	Year
1	Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten	ASU	1	1990
2	Quantification relativiste / A. Unterberger	ASU		1991