Logical foundations of proof complexity 由 Cook, Stephen 1948-

Introduction to mathematical proofs a transition 由 Roberts, Charles E. 1942-

A science of operations machines, logic and the invention of programming 由 Priestley, Mark (Peter Mark)

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

Discrete mathematics theory and applications 由 Malik, D.S

Discrete mathematics for engineers and scientists 由 Haggard, Gary

The logic book 由 Bergmann, Merrie

Table of contents only

A transition to abstract mathematics mathematical thinking and writing 由 Maddox, Randall B.

Major works selected philosophical writings 由 Wittgenstein, Ludwig 1889-1951

Mathematics, models, and modality selected philosophical essays 由 Burgess, John P. 1948-

The review of symbolic logic.

Available for UP System via Cambridge Core.