Tournament of Books 2015

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to
for a chance to win.
Privacy Policy

Visit our stores

You searched for: Dowek Gilles. Refine your search.

  1. 1

    Computation, Proof, Machine: Mathematics Enters a New Age

    Gilles Dowek / Cambridge University Press
    New Trade Paper  /  Foreign Languages - French


  2. 2

    Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)

    Gilles Dowek / Springer
    New Trade Paper  /  Personal Computers - General


  3. 3

    Principles of Programming Languages (09 Edition)

    Gilles Dowek / Springer
    Used Trade Paper  /  Software Engineering - Programming and Languages
    $30.50 $39.95


  4. 4

    Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

    Gilles Dowek / Not Avail
    New Trade Paper  /  Computers Reference - General


  5. 5

    Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

    Gilles Dowek


  6. 6

    Lecture Notes in Computer Science #5195: Automated Reasoning: 4th International Joint Conference, Ijcar 2008, Sydney, Nsw, Australia, August 12-15, 2008, Proceedings

    Gilles Dowek


  7. 7

    Theorem Proving in Higher Order Logics: ... International Conference ; Proceedings. Nice, France, September 14 - 17, 1999

    Gilles Dowek


  • back to top


Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at