Games, norms and reasons logic at the crossroads

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Logic and games on automatic structures playing with quantifiers and decompositions অনুযায়ী Kaiser, Lukasz

Available for University of the Philippines Diliman via SpringerLink. Click here to access

How do you beat the age gamen musings on math অনুযায়ী Chua, Queena N. Lee

A friendly introduction to mathematical logic অনুযায়ী Leary, Christopher C.

Combinatorics, complexity, & logic proceedings of DMTCS '96

Diophantus introduction to mathematical philosophy (with solution of fermat and other applications) অনুযায়ী Escultura, Edgar E.

Proof and knowledge in mathematics

Truth, deduction, and computation logic and semantics for computer science অনুযায়ী Davis, Ruth E.

Ones and zeros understanding boolean algebra, digital circuits, and the logic of sets অনুযায়ী Gregg, John