Here, what we could find on your book search:

Daniel Leivant

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

Naoki Kobayashi and Benjamin C. Pierce

Check Price (8 deals)
Computer Science Logic

Computer Science Logic

Leszek Pacholski and Jerzy Tiuryn

Check Price (1 deals)
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Robert Nieuwenhuis and Andrei Voronkov

Check Price (3 deals)
Proceedings of the 1990 ACM Conference on LISP and Functional Programming

Proceedings of the 1990 ACM Conference on LISP and Functional Programming

Association for Computing Machinery

Check Price (7 deals)
Feasible Mathematics II

Feasible Mathematics II

Peter Clote and Jeffrey B. Remmel

Check Price (10 deals)
Harvey Friedman's Research on the Foundations of Mathematics

Harvey Friedman's Research on the Foundations of Mathematics

L.A. Harrington, M.D. Morley, A. Šcedrov and S.G. Simpson

Check Price (6 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now