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

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

Get full text
Get full text

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

Get full text
Get full text

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

Reasoning about uncertainty by Halpern, Joseph Y. 1953-

Get full text
Get full text

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

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

Algebra, logic, and combinatorics

A first course in mathematical logic and set theory by O'Leary, Michael L.

A concise introduction to pure mathematics by Liebeck, M. W. 1954-

A first course in mathematical logic and set theory by O'Leary, Michael L.

Table of contents only

Conjugation action on the family of minimum D-sets of a group by Bulorin, Joris N.

Introduction to mathematical proof a transition to advanced mathematics by Roberts, Charles E., Jr

Introduction to mathematical logic by Mendelson, Elliott

Logic and discrete mathematics a concise introduction by Conradie, Willem, Goranko, Valentin

Understanding mathematical proof by Taylor, John 1957-, Garnier, Rowan

Word and object by Quine, Willard Van Orman