Logic for Computer Scientists (Modern Birkhäuser Classics) - Schöning, Uwe

Basic Category Theory for Computer Scientists by Pierce, Benjamin C.

Logic for Computer Scientists by Uwe Schoening: Used

Modern Birkhäuser Classics Ser.: Logic for Computer Scientists by Uwe...

Logic for Computer Scientists (Modern Birkhäuser Classics) by Schöning, Uwe

Introductory Logic & Sets for Computer Scientists

Logic for Computer Scientists (Modern Birkhäuser Classics) by Schöning, Uwe