Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Labelled Non-Classical Logics

Name: Labelled Non-Classical Logics
Brand: Springer
SKU: 01397236
Price: 162.91 EUR
Availability: InStock
Author: Luca Vigan
ISBN: 9780792377498

Luca Vigan

Език

Английски език

Книга С твърди корици

Код Либристо: 01397236

Издателство Springer, януари 2000

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical L... Цялото описание

Код Либристо: 01397236

394 b

162.91 €

318.63 лв

Външен склад Изпращаме след 10-13 дни

30 дни за връщане на стоката

Клиентите са закупили също

Elektronika s podporou PC + CD Kainka Burkhard

С меки корици

9.37 € 18.32 лв

Meine 6 ersten Spiele (Spielesammlung)

Игра

27.39 € 53.57 лв

leere Geschaft Daniela Noitz

С меки корици

13.46 € 26.32 лв

Helden der Kindheit - Das Häkelbuch - Trickfiguren, Kulthelden und mehr Amigurumis häkeln Sophie Kirschbaum

С твърди корици

19.83 € 38.78 лв

Joint Railways: Eastern and Southern England Patrick Bennett

С меки корици

18.22 € 35.64 лв

El saltamontes que quiso ser hormiga Schettino Losada

С меки корици

15.48 € 30.27 лв

Quelle petite phrase bouleversante au coeur d'un être ? Dorra

С меки корици

29.88 € 58.43 лв

Propagandysta, który przechytrzył Hitlera. Jak wygrać wojnę informacyjną. Seria Impact Peter Pomeranstev

С меки корици

14.29 € 27.94 лв

Rundkirche Olsker (Puzzle) Henryk Schwarzer

Игра

36.19 € 70.79 лв

Friedrich Wilhelm Foerster (1869-1966) Maria Hoschek

С меки корици

76.84 € 150.29 лв

#2 (limitierte 2CD Edition) Thees Uhlmann

Аудио компактдиск

14.49 € 28.35 лв

Torsionstheorie Constantin Weber

С меки корици

55.98 € 109.48 лв

Manner Und Bilder Deutscher Seefahrt Hugo von Waldeyer-Hartz

С меки корици

55.98 € 109.48 лв

Lesen & Schreiben B1 Anneli Billina

С меки корици

10.40 € 20.35 лв

Legenda v kameni Viliam Apfel

С твърди корици

9.78 € 19.13 лв

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90, Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin, 1993), in an attempt to bring labelling as a recognised and significant component of our logic culture. It was a response to earlier isolated uses of labels by various distinguished authors, as a means to achieve local proof theoretic goals. Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis. This widespread local use of labels was an indication of an underlying logical pattern, namely the simultaneous side-by-side manipulation of several kinds of logical information. It was clear that there was a need to establish the labelled deductive systems methodology. Modal logic is one major area where labelling can be developed quickly and sys tematically with a view of demonstrating its power and significant advantage. In modal logic the labels can play a double role.