Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic: From Foundations to Applications

European Logic Colloquium

Martin Hyland

Charles Steinhorn

John Truss

Language

English

Book Hardback

Libristo code: 04527530

Publishers Oxford University Press, June 1996

This book contains twenty-one essays by leading authorities on aspects of contemporary logic, rangin... Full description

Libristo code: 04527530

163 b

24 530 Ft

Print on demand Shipping in 17-26 days

Up to 30 days for returns

Customers also purchased

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

Paperback

11 029 Ft

Supervisions-Tools Heidi Neumann-Wirsig

Paperback

17 730 Ft

Nudge Richard H. Thaler

Paperback

5 054 Ft

D'ivoire et de sang Tania JAMES

Paperback

10 488 Ft

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

binding.

3 203 Ft

Bâtonnets celtiques de sagesse Caitlin Matthews

Paperback

11 812 Ft

Blue Lock - Band 18 Yusuke Nomura

Paperback

3 251 Ft

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

Hardback

4 315 Ft

Über den Umgang mit Menschen Adolph Freiherr Knigge

Hardback

3 611 Ft

Hobit John Ronald Reuel Tolkien

Hardback

5 087 Ft

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

Paperback

13 169 Ft

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

Hardback

28 427 Ft

Die Story Leo M. Friedrich

Paperback

5 401 Ft

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

Paperback

6 815 Ft

Tarantule Tango - Karetní hra

Game

3 839 Ft

SPA-NUEVO CORAZAN DE LA SABIDU Gueshe Kelsang Gyatso

Paperback

4 831 Ft

descriptive und topographische Anatomie des Menschen Carl Heitzmann

Paperback

8 200 Ft

El evangelio de los esenios EDMON B. SZEKELY

Paperback

4 651 Ft

Geomanica

Hardback

3 986 Ft

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

Paperback

14 147 Ft

Der Vertragszwang in der Krankenversicherung Felix Brill

Paperback

18 195 Ft

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.