Here, what we could find on your book search:

Revantha Ramanayake

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).

Logical Foundations of Computer Science

Sergei Artemov and Anil Nerode

Check Price (8 deals)

Logic and Argumentation

Andreas Herzig, Jieting Luo and Pere Pardo

Check Price (5 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Gian Luca Pozzato and Tarmo Uustalu

Check Price (1 deals)

Logic, Language, Information, and Computation

Leonid Libkin, Ulrich Kohlenbach and Ruy de Queiroz

Check Price (6 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Serenella Cerrito and Andrei Popescu

Check Price (8 deals)

Automated Reasoning

Nicola Olivetti and Ashish Tiwari

Check Price (6 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das and Sara Negri

Check Price (1 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Hans De Nivelle

Check Price (1 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Revantha Ramanayake and Josef Urban

Check Price (8 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free