Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “eric kao”
Skip side bar filters

  • Introduction to Logic

    Second Edition

    by Michael Genesereth, Eric Kao ...
    Series series Synthesis Lectures on Computer Science
    This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford ... Read more

    $27.99 CAD

  • Metaphorosis February 2017

    by Kaos Nest, Eric Del Carlo, Suzanne J. Willis, N. Immanuel Velez, B. Morris Allen ...
    Series Book 14 - Metaphorosis Magazine
    Beautifully written speculative fiction from Metaphorosis magazine.All the stories from the month, plus author biographies, interviews, and story origins.Table of ContentsHalfsies – Eric Del CarloA Nightingale’s Map of the City – Suzanne WillisThe Naked Me – N. Immanuel VelezChambers of the Heart – B. Morris AllenCover art by Kaos Nest. ... Read more

    $1.99 CAD or Free with Kobo Plus

People who read these also enjoyed

  • Logic

    The Laws of Truth

    by Nicholas J.J. Smith ...
    Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a ... Read more

    $65.99 CAD

  • By the Grace of the Gods: Volume 11

    by Roy ...
    Series Book 11 - By the Grace of the Gods
    Concerned by the changing social climate in Gimul, Ryoma resolves to reinvigorate the city and take out whoever is orchestrating the city's decline. With the help of reinforcements (courtesy of the duke) Ryoma uses his connection with the city's residents to his full advantage, concocting revolutionary policies and businesses to clean up the streets of Gimul! Meanwhile, the nine gods call Ryoma to ... Read more

    $10.98 CAD

  • Seven Wonders Journals: The Promise

    by Peter Lerangis ...
    Series Book 4 - Seven Wonders Journals
    From the lost Journals of the New York Times bestselling Seven Wonders series comes the story of how Atlantis came to rest at the bottom of the sea.Follow the threads of history back to ancient times. Two Atlantean princes, Karai and Massarym, obsessed with power and terrified of the mysterious Loculi, turned against it each other in a bitter rivalry. With the future of the world at stake and ... Read more

    $3.99 CAD

    Also available as: Audiobook

    Also available as: Audiobook

  • Logic in Computer Science

    Modelling and Reasoning about Systems

    by Michael Huth, Mark Ryan ...
    Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products. There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses ... Read more

    $71.99 CAD

  • Built to Last

    4 Chapter Sampler

    by Julie Ann Walker ...
    Series series Black Knights Inc.
    Get a sneak peek of the first 4 chapters of the epic conclusion to bestselling author Julie Ann Walker's BKI series!After a mission-gone-sideways forces Jamin "Angel" Agassi to change his identity, he's determined to bring down the world's worst crime syndicate kingpin once and for all. That's going to be the easy part. Keeping Interpol agent Sonya Butler from discovering who he really is—and ... Read more

    Free

  • Visser (Animorphs)

    by K. A. Applegate ...
    Series series Animorphs
    Her human name is Eva. There was a time when she had a loving husband and a son, Marco. When she had a wonderful career. But that was before she was infested by Edriss 562. Before the invasion of Earth. Now, Edriss 562 lives in Eva's head and controls her every movement. And through Eva, Edriss has become the highest-ranking general in the Yeerk empire, surpassing even her arch rival, Visser Three ... Read more

    $6.99 CAD

  • The Encounter (Animorphs Graphix #3)

    by K. A. Applegate, Michael Grant ...
    Illustrated by Chris Grine ...
    Series Book 3 - Animorphs Graphic Novels
    The wildly popular, bestselling sci-fi series by Katherine Applegate and Michael Grant returns in a new full-color graphic novel series, adapted by Chris Grine.When Tobias and his friends were given the power to morph, they were also given an important warning: Never stay in a morph for more than two hours. But Tobias broke the time limit, and now he's trapped in the body of a hawk -- forever.When ... Read more

    $15.99 CAD

  • Computability Theory

    An Introduction to Recursion Theory

    by Herbert B. Enderton ...
    Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion ... Read more

    $55.99 CAD

  • The Nuts and Bolts of Proofs

    An Introduction to Mathematical Proofs

    by Antonella Cupillari ...
    The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It ... Read more

    $35.99 CAD

  • Computability and Logic

    by George S. Boolos, John P. Burgess, Richard C. Jeffrey ...
    Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised ... Read more

    $40.99 CAD