Haullasi löytyi yhteensä 19 tuotettaHaluatko tarkentaa hakukriteerejä? Suosituimmat ensin Aakkosjärjestys Vuosijärjestys Viimeksi lisätyt Viimeksi julkaistut
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
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
Tekijä: Daniel Leivant (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2007) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Hiroakira Ono (ed.); Makoto Kanazawa (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2009) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Anuj Dawar (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2010) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Luke Ong (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2012) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Leonid Libkin (ed.); Ulrich Kohlenbach (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2013) Saatavuus: Noin 17-20 arkipäivää
EUR 45,80
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
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
Tekijä: Juliette Kennedy (ed.); Ruy J.G.B. de Queiroz (ed.) Kustantaja: Springer (2017) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Lawrence S. Moss (ed.); Ruy de Queiroz (ed.); Maricarmen Martinez (ed.) Kustantaja: Springer (2018) Saatavuus: Noin 17-20 arkipäivää
EUR 65,00
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
Tekijä: Wilfrid Hodges (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2008) Saatavuus: Ei tiedossa
EUR 68,90
Tekijä: Lev D. Beklemishev (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2011) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Rosalie Iemhoff (ed.); Michael Moortgat (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2019) Saatavuus: Noin 17-20 arkipäivää
EUR 49,60
Tekijä: Alexandra Silva; Renata Wassermann; Ruy de Queiroz Kustantaja: Springer Nature Switzerland AG (2021) Saatavuus: Noin 17-20 arkipäivää
EUR 72,80
Tekijä: Leonid Libkin; Ulrich Kohlenbach; Ruy De Queiroz Kustantaja: Springer (2013) Saatavuus: Ei tiedossa
EUR 114,00
Tekijä: George Metcalfe (ed.); Thomas Studer (ed.); Ruy de Queiroz (ed.) Kustantaja: Springer (2024) Saatavuus: Noin 17-20 arkipäivää
EUR 57,30
Functional Interpretation Of Logical Deduction, The
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.
Kirjan painos kustantajalta loppu. Mahdollisesta uudesta painoksesta ei vielä tietoa.
Seuraa saatavuutta .