The Little Prover, , MIT Press, Carl Eastlund, Daniel P. Friedman,Computer programming / software engineering,Computing and Information Technology, technology;computers;computer;algorithm;coding;code;clean code;algorithms;r;tech;coding for beginners;computer programming;computer books;advanced r;programmer gifts;computer programmer gifts;high school;computer science;health;sci-fi;networking;programming;classic;business;law;self improvement;self help;psychology;gre;marketing;philosophy;school;biography;ethics;dystopia;cookbooks;weight loss;thriller;hockey;education;leadership;career;divorce;democracy;sports;communication;writing;study skills,, , United States, en-UShttps://www.penguinrandomhouse.comtechnology;computers;computer;algorithm;coding;code;clean code;algorithms;r;tech;coding for beginners;computer programming;computer books;advanced r;programmer gifts;computer programmer gifts;high school;computer science;health;sci-fi;networking;programming;classic;business;law;self improvement;self help;psychology;gre;marketing;philosophy;school;biography;ethics;dystopia;cookbooks;weight loss;thriller;hockey;education;leadership;career;divorce;democracy;sports;communication;writing;study skills, [BLURB],[CITY],,books, ebooks, biblet, Book2look