Над 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 €

Контакт

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

Помощ

Моят акаунт

▸ Празна :-(

Logic: From Foundations to Applications

European Logic Colloquium

Martin Hyland

Charles Steinhorn

John Truss

Език

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

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

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

Издателство Oxford University Press, юни 1996

This book contains twenty-one essays by leading authorities on aspects of contemporary logic, rangin... Цялото описание

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

112 b

46.39 €

90.73 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

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

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

Harold: Le Dernier Des Rois Saxons. Tome 2 Lytton-E

С меки корици

28.23 € 55.22 лв

New Sparks Starter. Podręcznik dla klasy zerowej. Wyd.2010 Magdalena Szpotowicz

С меки корици

14.48 € 28.31 лв

Supervisions-Tools Heidi Neumann-Wirsig

С меки корици

47.11 € 92.15 лв

Nudge Richard H. Thaler

С меки корици

13.44 € 26.29 лв

D'ivoire et de sang Tania JAMES

С меки корици

30.30 € 59.27 лв

HOLSTEIN AM STRAM GRAM PJ164 DIS MOI BON CHARBONNIER VX ENSEMBLE PART HOLSTEIN Книга

binding.

9.36 € 18.30 лв

Bâtonnets celtiques de sagesse Caitlin Matthews

С меки корици

34.03 € 66.55 лв

Blue Lock - Band 18 Yusuke Nomura

С меки корици

6.36 € 12.43 лв

Színház az egész világ Vibók Ildi

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

11.63 € 22.75 лв

Über den Umgang mit Menschen Adolph Freiherr Knigge

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

9.56 € 18.70 лв

Carl Witt, Ein Lehrer Und Freund Der Jugend (1894) Sabastian Hensel

С меки корици

33.56 € 65.64 лв

Verlagskorrespondenz: Conrad Ferdinand Meyer, Betsy Meyer - Hermann Haessel mit zugehörigen Briefwechseln und Verlagsdokumenten. Tl.2 Conrad F. Meyer

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

82.18 € 160.73 лв

Les cartes d'Hèrcules Poirot JAUME FUSTER

С меки корици

12.30 € 24.07 лв

Die Story Leo M. Friedrich

С меки корици

14.37 € 28.11 лв

52 Cosas Que Carmen Desea Que Marco Sepa: Una Manera Diferente de Decirlo J L Leyva

С меки корици

17.27 € 33.78 лв

Tarantule Tango - Karetní hra

Игра

8.68 € 16.98 лв

SPA-NUEVO CORAZAN DE LA SABIDU Gueshe Kelsang Gyatso

С меки корици

19.86 € 38.83 лв

descriptive und topographische Anatomie des Menschen Carl Heitzmann

С меки корици

21.77 € 42.58 лв

El evangelio de los esenios EDMON B. SZEKELY

С меки корици

14.58 € 28.52 лв

Geomanica

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

11.58 € 22.65 лв

L'Homme Qui Rit (Nouvelle Ed. Illustree) (Ed.1886) Victor Hugo

С меки корици

40.13 € 78.49 лв

Der Vertragszwang in der Krankenversicherung Felix Brill

С меки корици

52.60 € 102.87 лв

This book contains twenty-one essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In those parts of logic closest to computer science, the gap between foundations and applications is often small, as illustrated by three essays on the proof theory of non-classical logics. There are also chapters on the lambda calculus, on relating logic programs to inductive definitions, on Buechi and Presburger arithmetics, and on definability in Lindenbaum algebras. Aspects of constructive mathematics discussed are embeddings of Heyting algebras and proofs in mathematical anslysis. Set theory is well covered with six chapters discussing Cohen forcing, Baire category, determinancy, Nash-Williams theory, critical points (and the remarkable connection between them and properties of left distributive operations) and independent structures. The longest chapter in the book is a survey of 0-minimal structures, by Lou van den Dries; during the last ten years these structures have come to take a central place in applications of model theory to fields and function theory, and this chapter is the first broad survey of the area. Other chapters illustrate how to apply model theory to field theory, complex geometry and groups, and how to recover from its automorphism group. Finally, one chapter applies to the theory of toric varieties to solve problems about many-valued logics.