Logic for Justice an introduction to formal logic with an emphasis on political reform. nork Wilhelm, Isaac

The new fire war, peace, and Democracy in the age of AI nork Buchanan, Ben, Imbrie, Andrew

Testu osoa
Testu osoa

The continued exercise of reason public addresses nork Boole, George 1815-1864

Testu osoa
Testu osoa

Current trends on knowledge-based systems

Available for University of the Philippines Diliman via SpringerLink. Click here to access
Also available remotely for University of the Philippines Diliman via SpringerLink. Click here to access thru EZproxy

Discrete structures, logic, and computability nork Hein, James L.

Reasoning about uncertainty nork Halpern, Joseph Y. 1953-

Testu osoa
Testu osoa

A beginner's further guide to mathematical logic nork Smullyan, Raymond M.

Picturing quantum processes a first course in quantum theory and diagrammatic reasoning nork Coecke, Bob, Kissinger, Aleks

Towards paraconsistent engineering

Available for University of the Philippines System via SpringerLink. Click here to access
Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy

Classical groups, derangements, and primes nork Burness, Timothy C., Giudici, Michael