CAS 760 / Logic for Practical Use

3 unit(s)

W. M. Farmer

Attributes of a practical logic. Techniques for improving the practicality of traditional logics. Design, implementation, and use of practice-oriented logics.