Makowsky, J. A.; Zamansky, A. Keeping logic in the trivium of computer science: a teaching perspective. (English) Zbl 1380.97006 Form. Methods Syst. Des. 51, No. 2, 419-430 (2017). MSC: 97E30 PDFBibTeX XMLCite \textit{J. A. Makowsky} and \textit{A. Zamansky}, Form. Methods Syst. Des. 51, No. 2, 419--430 (2017; Zbl 1380.97006) Full Text: DOI
Bonomo, John P. Winning a pool is harder than you thought. (English) Zbl 1442.97056 Coll. Math. J. 47, No. 5, 347-355 (2016). MSC: 97M99 97P20 97P80 68Q17 PDFBibTeX XMLCite \textit{J. P. Bonomo}, Coll. Math. J. 47, No. 5, 347--355 (2016; Zbl 1442.97056) Full Text: DOI