Mathematical Logic for Computer Science
Mordechai Ben-Ari
Java 8 in Action: Lambdas, Streams, and Functional-Style Programming
Raoul-Gabriel Urma & Mario Fusco & Alan Mycroft
Theory of Computation
George Tourlakis
VMware Virtual SAN Cookbook
Jeffrey Taylor
Java: The Complete Reference, Ninth Edition
Herbert Schildt