SULJE VALIKKO

avaa valikko

Anjolina G De Oliveira | Akateeminen Kirjakauppa

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



Functional Interpretation Of Logical Deduction, The
Anjolina G De Oliveira; Dov M Gabbay; Ruy J G B De Queiroz
World Scientific Publishing Co Pte Ltd (2011)
Kovakantinen kirja
123,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015
Valeria de Paiva; Ruy de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina G. de Oliveira
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Functional Interpretation Of Logical Deduction, The
123,50 €
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Functional Interpretation Of Logical Deduction, Thezoom
Näytä kaikki tuotetiedot
ISBN:
9789814360951
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste