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

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

Cael y testun llawn
Cael y testun llawn

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

Cael y testun llawn
Cael y testun llawn

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

Reasoning about uncertainty gan Halpern, Joseph Y. 1953-

Cael y testun llawn
Cael y testun llawn

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

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