Current issues and enduring questions a guide to critical thinking and argument, with readings

How to think logically حسب Seay, Gary, Nuccetelli, Susana

Table of contents only

An introduction to logic حسب Hale, C. Jacob

Introduction to logic حسب Hurley, Patrick J. 1942-

Selections from a concise introduction to logic حسب Hurley, Patrick J. 1942-

The review of symbolic logic.

Available for UP System via Cambridge Core.

Programming logic formulation. حسب Farrell, Joyce

Table of contents only

Transition to higher mathematics structure and proof حسب Dumas, Bob A.

Digital principles and logic design حسب Saha, A. (Arjit)

The calculus of computation decision procedures with applications to verification حسب Bradley, Aaron R.