Handbook of logic and language

Algebraic theories a categorical introduction to general algebra by Adámek, Jiří, ing

Logic for computer science and artificial intelligence by Caferra, Ricardo 1945-

An introduction to practical formal methods using temporal logic by Fisher, Michael 1962-

Creative sequencing techniques for music production a practical guide to Pro Tools, Logic, Digital Performer, and Cubase by Pejrolo, Andrea

Logic demystified by Boutelle, Anthony

Algebraic theories a categorical introduction to general algebra by Adamek, Jiri

VHDL 101 everything you need to know to get started by Kafig, William

Constatival logic an essay in the philosophy of logic by Gripaldo, Rolando M.

Argument structure representation and theory by Freeman, James B.

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