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

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

Testo
Testo

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

Testo
Testo

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 di Hein, James L.

Reasoning about uncertainty di Halpern, Joseph Y. 1953-

Testo
Testo

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

Picturing quantum processes a first course in quantum theory and diagrammatic reasoning di 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 di Burness, Timothy C., Giudici, Michael