Browse Books

Concrete Semantics: With Isabelle/Hol By Tobias Nipkow, Gerwin Klein Cover Image
$74.99
Usually Ships in 1-5 Days
Algebraic Methodology and Software Technology: 13th International Conference, Amast 2010, Lac-Beauport, Qc, Canada, June 23-25, 2010, Revised Selected By Michael Johnson (Editor), Dusko Pavlovic (Editor) Cover Image
By Michael Johnson (Editor), Dusko Pavlovic (Editor)
$112.49
Usually Ships in 1-5 Days
Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) By Chin-Liang Chang, Richard Char-Tung Lee Cover Image
$98.48
Usually Ships in 1-5 Days
Fuzzy Sets and Systems: Theory and Applications (Mathematics in Science & Engineering #144) By Didier J. DuBois Cover Image
$98.48
Usually Ships in 1-5 Days
Cellular Automata And Complexity: Collected Papers By Stephen Wolfram Cover Image
$107.93
Usually Ships in 1-5 Days
Symbolic Logic: Syntax, Semantics, and Proof By David Agler Cover Image
$229.50
Usually Ships in 1-5 Days
Tons of Jigsaw Sudoku X for Adults & Seniors: 1000 Easy to Hard Puzzles By Khalid Alzamili Cover Image
$9.99
Usually Ships in 1-5 Days
Large Print Brain Games: 100 Hard Adults Puzzles (Kakuro, Samurai Sudoku, Hakyuu, Minesweeper, Samurai Jigsaw Sudoku) By Khalid Alzamili Cover Image
$6.99
Usually Ships in 1-5 Days
Jigsaw Samurai Sudoku: 500 Easy to Hard Jigsaw Sudoku Puzzles Overlapping into 100 Samurai Style By Khalid Alzamili Cover Image
$6.99
Usually Ships in 1-5 Days
Hintikka's Take on Realism and the Constructivist Challenge By Radmila Jovanovic Cover Image
$21.45
Usually Ships in 1-5 Days
Ifcolog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigory Mints. Volume 4, number 4 By Dov Gabbay (Guest Editor), Oleg Prosorov (Guest Editor) Cover Image
By Dov Gabbay (Guest Editor), Oleg Prosorov (Guest Editor)
$36.40
Usually Ships in 1-5 Days
Logica e Estrutura By Dirk Van Dalen, Ruy Jgb de Queiroz (Translator) Cover Image
$24.70
Usually Ships in 1-5 Days

Pages