@book{Ainsley Robert_1999, address={London}, title={Bluff your way in Computers}, url={http://copac.jisc.ac.uk/id/19561755?style=html&title=Bluff%20your%20way%20in%20computers}, publisher={Oval Books}, author={Ainsley Robert}, year={1999} }
@book{Cormen_Leiserson_Rivest_Stein_2009, address={Cambridge, Massachusetts}, edition={Third edition}, title={Introduction to algorithms}, url={http://ebookcentral.proquest.com/lib/ucl/detail.action?docID=3339142}, publisher={MIT Press}, author={Cormen, Thomas H. and Leiserson, Charles Eric and Rivest, Ronald L. and Stein, Clifford}, year={2009} }
@book{Epp, Susanna S._1995, address={Boston}, edition={2nd ed}, title={Discrete mathematics with applications}, publisher={Brooks/Cole}, author={Epp, Susanna S.}, year={1995} }
@book{Grossman, Peter_2009, address={Basingstoke}, edition={3rd ed}, title={Discrete mathematics for computing}, publisher={Palgrave Macmillan}, author={Grossman, Peter}, year={2009} }
@book{Hodges_1977, address={Harmondsworth}, title={Logic}, publisher={Penguin}, author={Hodges, Wilfrid}, year={1977} }
@book{Jeffrey_1967, title={Formal logic: its scope and limits}, publisher={McGraw-Hill}, author={Jeffrey, Richard C.}, year={1967} }
@book{Johnsonbaugh, Richard_London Mathematical Society_2005, address={Upper Saddle River, N.J.}, edition={6th ed}, title={Discrete mathematics}, volume={The JK computer science and mathematics series}, publisher={Pearson Prentice Hall}, author={Johnsonbaugh, Richard and London Mathematical Society}, year={2005} }
@book{Keisler_Robbin_1996, address={New York}, title={Mathematical logic and computability}, publisher={The McGraw-Hill Companies, Inc}, author={Keisler, H. Jerome and Robbin, Joel W.}, year={1996} }
@book{Nissanke, Nimal_1999, address={Harlow}, title={Introductory logic and sets for computer scientists}, publisher={Addison-Wesley}, author={Nissanke, Nimal}, year={1999} }
@book{Raymond M. Smullyan_1981, address={Harmondsworth}, title={What is the name of this book?}, publisher={Penguin}, author={Raymond M. Smullyan}, year={1981} }
@book{Sedgewick, Robert_1992, address={Reading, Mass}, title={Algorithms in C++}, publisher={Addison-Wesley Pub. Co}, author={Sedgewick, Robert}, year={1992} }
@book{Sedgewick, Robert_Wayne, Kevin Daniel_2011, address={Upper Saddle River, NJ}, edition={4th ed}, title={Algorithms}, url={https://go.oreilly.com/university-college-london/library/view/-/9780132762564/?ar}, publisher={Addison-Wesley}, author={Sedgewick, Robert and Wayne, Kevin Daniel}, year={2011} }
@book{Smullyan_1968, address={New York}, title={First-order logic}, volume={Ergebnisse der Mathematik und ihrer Grenzgebiete}, publisher={Springer-Verlag}, author={Smullyan, Raymond M.}, year={1968} }
@book{Truss, J. K._1999, address={Harlow}, edition={2nd ed}, title={Discrete mathematics for computer scientists}, publisher={Addison-Wesley}, author={Truss, J. K.}, year={1999} }
