Ruy Queiroz

39 results found

Sort By:

Logic, Language, Information, and Computation

By: Ruy De Queiroz, Lawrence S. Moss, Maricarmen Martinez

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED238

Binding:	Paperback
Release:	27 Jun 2018
Language:	English

Available

Ships within 14-16 Days Explain..

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE

By: Ruy J G B de Queiroz, Dov M Gabbay, Anjolina G de Oliveira

Publisher: World Scientific Publishing Co Pte Ltd

No Review Yet

AED253

Binding:	Hardback
Release:	02 Nov 2011
Language:	English

Available

Ships within 10-12 Days Explain..

Logic, Language, Information, and Computation

By: Ruy De Queiroz, Patricia Johann

Publisher: Springer Nature Switzerland AG

No Review Yet

AED343

Binding:	Paperback
Release:	27 Jul 2026
Language:	English

International Edition

Ships within 18-20 Days Explain..

Computational Paths. The Calculus of Equality

By: Ruy J G B de Queiroz, Anjolina Grisi de Oliveira, Arthur Freitas Ramos

Publisher: College Publications

No Review Yet

AED153

Binding:	Paperback
Release:	11 May 2026
Language:	English

International Edition

Ships within 10-12 Days Explain..

Logic, Language, Information, and Computation

By: Dexter Kozen, Ruy de Queiroz

Publisher: Springer International Publishing AG

No Review Yet

AED238

Binding:	Paperback
Release:	01 Aug 2025
Language:	English

Available

Ships within 14-16 Days Explain..

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION: 15TH INTERNATIONAL WORKSHOP, WOLLIC 2008 EDINBURGH, UK, JULY 1-4, 2008, PROCEEDINGS: 5110 (Lecture Notes in Artificial Intelligence)

By: Hodges, Wilfrid, de Queiroz, Ruy

Publisher: Springer

No Review Yet

AED453

Binding:	Paperback
Release:	01 Jan 2008
Language:	English

Available

Ships within 10-12 Days Explain..

Logic, Language, Information, and Computation

By: Andre Scedrov, Helle Hvid Hansen, Ruy J.G.B. de Queiroz

Publisher: Springer International Publishing AG

No Review Yet

AED265

Binding:	Paperback
Release:	30 Aug 2023
Language:	English

Available

Ships within 14-16 Days Explain..

Logic, Language, Information, and Computation

By: Ruy J. G. B. de Queiroz, Elaine Pimentel, Agata Ciabattoni

Publisher: Springer International Publishing AG

No Review Yet

AED190

Binding:	Paperback
Release:	09 Sep 2022
Language:	English

Available

Ships within 14-16 Days Explain..

Logic, Language, Information, and Computation

By: Ruy De Queiroz, Alexandra Silva, Renata Wassermann

Publisher: Springer Nature Switzerland AG

No Review Yet

AED262

Binding:	Paperback
Release:	06 Oct 2021
Language:	English

Available

Ships within 14-16 Days Explain..

10.

Logic, Language, Information, and Computation

By: Ruy De Queiroz, Jouko Väänänen, Åsa Hirvonen

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED190

Binding:	Paperback
Release:	06 Aug 2016
Language:	English

Available

Ships within 14-16 Days Explain..

11.

Logic, Language, Information and Computation

By: Ruy De Queiroz, Wilfrid Hodges

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED109

Binding:	Paperback
Release:	19 Jun 2008
Language:	English

Available

Ships within 10-12 Days Explain..

12.

Logic, Language, Information, and Computation

By: Ruy De Queiroz, Leonid Libkin, Ulrich Kohlenbach

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED170

Binding:	Paperback
Release:	08 Aug 2013
Language:	English

Available

Ships within 14-16 Days Explain..

13.

Model Theory

By: Ruy De Queiroz, Maria Manzano

Publisher: Oxford University Press

No Review Yet

AED1,201

Binding:	Hardback
Release:	29 Apr 1999
Language:	English

International Edition

Ships within 10-12 Days Explain..

14.

Logic, Language, Information, and Computation

By: Ruy J G B de Queiroz, Ulrich Kohlenbach, Pablo Barceló

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED176

Binding:	Paperback
Release:	24 Jul 2014
Language:	English

Available

Ships within 14-16 Days Explain..

15.

Logic, Language, Information, and Computation

By: Luke Ong, Ruy De Queiroz

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED273

Binding:	Paperback
Release:	16 Jul 2012
Language:	English

International Edition

Ships within 18-20 Days Explain..

16.

Logic, Language, Information, and Computation

By: Daniel Leivant, Ruy De Queiroz, Valeria De Paiva, Anjolina G. de Oliveira, Lawrence S. Moss

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED152

Binding:	Paperback
Release:	07 Jul 2015
Language:	English

Available

Ships within 14-16 Days Explain..

17.

Logic, Language, Information, and Computation

By: Michael Moortgat, Ruy De Queiroz, Rosalie Iemhoff

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED196

Binding:	Paperback
Release:	10 Jun 2019
Language:	English

Available

Ships within 14-16 Days Explain..

18.

Logic, Language, Information, and Computation

By: Lev D. Beklemishev, Ruy de Queiroz

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED198

Binding:	Paperback
Release:	02 May 2011
Language:	English

Available

Ships within 2-4 Days Explain..

19.

Logic, Language, Information and Computation

By: Daniel Leivant, Ruy De Queiroz

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED160

Binding:	Paperback
Release:	15 Jun 2007
Language:	English

Available

Ships within 10-12 Days Explain..

Loading more results

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter