Computational Complexity of Logical Theories
Jeanne Ferrante & Charlis W. Rackoff
The Nag Hammadi Scriptures
Marvin W. Meyer
DevOps and Containers Security: Security and Monitoring in Docker ...
Jose Manuel Ortega Candel
Aristotle for Everybody
Mortimer Jerome Adler
Formalizing Natural Languages with NooJ 2018 and Its Natural ...
Max Silberztein & Mario Monteleone & Ignazio Mauro Mirto
Entrepreneurial Living: 15 Stories of Innovation, Risk, and ...
Stephen R. C. Hicks