Formal Methods TeachingAlexandra Mendes, Joao F. Ferreira og 1 annenPocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Mastering Calculus through PracticeBarbara de Holanda Maia Teixeira, Edmundo Capelas de OliveiraPocketEngelskLegg i handlekurvNettlager
Proof Complexity GeneratorsJan KrajicekPocketEngelskDel av serien London Mathematical Society Lecture Note SeriesLegg i handlekurvNettlager
Human and Artificial Rationalities. Advances in Cognition, Computation, and ConsciousnessBaptiste Jacquet, Jean Baratgin og 2 andrePocketEngelskDel av serien Lecture Notes in Computer ScienceLegg i handlekurvNettlager
Artificial Intelligence Versus Natural IntelligenceEmanuele Severino, Roger Penrose og 5 andrePocketEngelskLegg i handlekurvNettlager
The Times Kakuro Book 2The Times Mind GamesPocketEngelskDel av serien The Times Puzzle BooksLegg i handlekurvKlikk&HentNettlager
The Times Kakuro Book 1The Times Mind GamesPocketEngelskDel av serien The Times Puzzle BooksLegg i handlekurvNettlager