KIRJAUDU

ostoskori

avaa valikko

Ruy de Queiroz | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 19 tuotetta
Haluatko tarkentaa hakukriteerejä?

FUNCTIONAL INTERPRETATION OF LOGICAL DEDUCTION, THE

Tekijä: Anjolina G De Oliveira; Dov M Gabbay; Ruy J G B De Queiroz
Kustantaja: World Scientific Publishing Co Pte Ltd (2011)
Saatavuus: Ei tiedossa

EUR 121,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 22ND INTERNATIONAL WORKSHOP, WOLLIC 2015, BLOOMINGTON, IN, USA, JULY 20-23, 2015

Tekijä: Valeria de Paiva (ed.); Ruy de Queiroz (ed.); Lawrence S. Moss (ed.); Daniel Leivant (ed.); Anjolina G. de Oliveira (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 40,00

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION : 14TH INTERNATIONAL WORKSHOP, WOLLIC 2007, RIO DE JANEIRO, BRAZIL, JULY 2-5, 2007,

Tekijä: Daniel Leivant (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION : 16TH INTERNATIONAL WORKSHOP, WOLLIC 2009, TOKYO, JAPAN, JUNE 21-24, 2009, PROCEED

Tekijä: Hiroakira Ono (ed.); Makoto Kanazawa (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2009)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION : 17TH INTERNATIONAL WORKSHOP, WOLLIC 2010, BRASILIA, BRAZIL, JULY 6-9, 2010, PROCE

Tekijä: Anuj Dawar (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION

Tekijä: Luke Ong (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2012)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 20TH INTERNATIONAL WORKSHOP, WOLLIC 2013, DARMSTADT, GERMANY, AUGUST 20-23, 2013

Tekijä: Leonid Libkin (ed.); Ulrich Kohlenbach (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 45,80

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 21ST INTERNATIONAL WORKSHOP, WOLLIC 2014, VALPARAÍSO, CHILE, SEPTEMBER 1-4, 2014

Tekijä: Ulrich Kohlenbach (ed.); Pablo Barceló (ed.); Ruy J G B de Queiroz (ed.)
Kustantaja: Springer (2014)
Saatavuus: Noin 17-20 arkipäivää

EUR 47,70

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 23RD INTERNATIONAL WORKSHOP, WOLLIC 2016, PUEBLA, MEXICO, AUGUST 16-19TH, 2016.

Tekijä: Jouko Väänänen (ed.); � sa Hirvonen (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDI

Tekijä: Juliette Kennedy (ed.); Ruy J.G.B. de Queiroz (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 25TH INTERNATIONAL WORKSHOP, WOLLIC 2018, BOGOTA, COLOMBIA, JULY 24-27, 2018, PR

Tekijä: Lawrence S. Moss (ed.); Ruy de Queiroz (ed.); Maricarmen Martinez (ed.)
Kustantaja: Springer (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 65,00

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 28TH INTERNATIONAL WORKSHOP, WOLLIC 2022, IAȘI, ROMANIA, SEPTEMBER 20–23, 2022,

Tekijä: Agata Ciabattoni (ed.); Elaine Pimentel (ed.); Ruy J. G. B. de Queiroz (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 29TH INTERNATIONAL WORKSHOP, WOLLIC 2023, HALIFAX, NS, CANADA, JULY 11–14, 2023,

Tekijä: Helle Hvid Hansen (ed.); Andre Scedrov (ed.); Ruy J.G.B. de Queiroz (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää

EUR 65,00

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION : 15TH INTERNATIONAL WORKSHOP, WOLLIC 2008 EDINBURGH, UK, JULY 1-4, 2008, PROCEEDIN

Tekijä: Wilfrid Hodges (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2008)
Saatavuus: Ei tiedossa

EUR 68,90

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 18TH INTERNATIONAL WORKSHOP, WOLLIC 2011, PHILADELPHIA, PA, USA, MAY 18-20, PROC

Tekijä: Lev D. Beklemishev (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 26TH INTERNATIONAL WORKSHOP, WOLLIC 2019, UTRECHT, THE NETHERLANDS, JULY 2-5, 20

Tekijä: Rosalie Iemhoff (ed.); Michael Moortgat (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 27TH INTERNATIONAL WORKSHOP, WOLLIC 2021, VIRTUAL EVENT, OCTOBER 5–8, 2021, PROC

Tekijä: Alexandra Silva; Renata Wassermann; Ruy de Queiroz
Kustantaja: Springer Nature Switzerland AG (2021)
Saatavuus: Noin 17-20 arkipäivää

EUR 72,80

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION - 20TH INTERNATIONAL WORKSHOP, WOLLIC 2013, DARMSTADT, GERMANY, AUGUST 20-23, 2013

Tekijä: Leonid Libkin; Ulrich Kohlenbach; Ruy De Queiroz
Kustantaja: Springer (2013)
Saatavuus: Ei tiedossa

EUR 114,00

LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION : 30TH INTERNATIONAL WORKSHOP, WOLLIC 2024, BERN, SWITZERLAND, JUNE 10–13, 2024, P

Tekijä: George Metcalfe (ed.); Thomas Studer (ed.); Ruy de Queiroz (ed.)
Kustantaja: Springer (2024)
Saatavuus: Noin 17-20 arkipäivää

EUR 57,30

Hae lisää...

Functional Interpretation Of Logical Deduction, The

Anjolina G De Oliveira, Dov M Gabbay, Ruy J G B De Queiroz

121,60 €

World Scientific Publishing Co Pte Ltd
Sivumäärä: 300 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2011, 02.11.2011 (lisätietoa)
Kieli: Englanti

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an ‘enriched’ system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing ‘labels’ is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.

LISÄÄ OSTOSKORIIN

Kirjan painos kustantajalta loppu. Mahdollisesta uudesta painoksesta ei vielä tietoa. Seuraa saatavuutta.

Myymäläsaatavuus