Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic: From Foundations to Applications

European Logic Colloquium

Martin Hyland

Charles Steinhorn

John Truss

Sprache

Englisch

Buch Hardcover

Libristo-Code: 04527530

Verlag Oxford University Press, Juni 1996

This book contains twenty-one essays by leading authorities on aspects of contemporary logic, rangin... Vollständige Beschreibung

Libristo-Code: 04527530

112 b

45.89 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

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

Broschur

29.19 €

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

Broschur

14.99 €

Supervisions-Tools Heidi Neumann-Wirsig

Broschur

49.90 €

Nudge Richard H. Thaler

Broschur

13.99 €

D'ivoire et de sang Tania JAMES

Broschur

29.89 €

HOLSTEIN AM STRAM GRAM PJ164 DIS MOI BON CHARBONNIER VX ENSEMBLE PART HOLSTEIN Buch

binding.

9.29 €

Bâtonnets celtiques de sagesse Caitlin Matthews

Broschur

33.69 €

Blue Lock - Band 18 Yusuke Nomura

Broschur

8.50 €

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

Hardcover

11.49 €

Über den Umgang mit Menschen Adolph Freiherr Knigge

Hardcover

11.29 €

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

Broschur

34.79 €

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

Hardcover

81.29 €

Les cartes d'Hèrcules Poirot JAUME FUSTER

Broschur

12.19 €

Die Story Leo M. Friedrich

Broschur

14.99 €

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

Broschur

17.99 €

Tarantule Tango - Karetní hra

Spiel

8.59 €

SPA-NUEVO CORAZAN DE LA SABIDU Gueshe Kelsang Gyatso

Broschur

19.59 €

descriptive und topographische Anatomie des Menschen Carl Heitzmann

Broschur

22.90 €

El evangelio de los esenios EDMON B. SZEKELY

Broschur

14.39 €

Geomanica

Hardcover

11.39 €

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

Broschur

41.49 €

Der Vertragszwang in der Krankenversicherung Felix Brill

Broschur

51.99 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic: From Foundations to Applications

Autor Martin Hyland, Charles Steinhorn, John Truss

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1996

Anzahl der Seiten 550

EAN 9780198538622

ISBN 0198538626

Libristo-Code 04527530

Verlag Oxford University Press

Gewicht 931

Abmessungen 162 x 241 x 35

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mengenlehre

Mathematik und Naturwissenschaften > Mathematik > Algebra

Mathematik und Naturwissenschaften > Naturwissenschaften, allgemein > Mathematik für Wissenschaftler

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert