THINKING FOR YOURSELF:DEVELOPING CRITICAL THINKING SKILLS THROUGH WRITING
2222 年出版304 页ISBN:0534073085
Computation and Reasoning A Type Theory for Computer Science
1994 年出版228 页ISBN:0198538359
Automated database applications testing : specification representation for automated reasoning
Rana FaridMikhail2010 年出版195 页ISBN:9812837288