Handbook of logic and language

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

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

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

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

Logic demystified od Boutelle, Anthony

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

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

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

Argument structure representation and theory od Freeman, James B.

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