Logic: From Foundations to Applications : European Logic Colloquium - Couverture rigide

9780198538622: Logic: From Foundations to Applications : European Logic Colloquium

Couverture rigide

ISBN 10 : 0198538626 ISBN 13 : 9780198538622

Editeur : Clarendon Press, 1996

Afficher les exemplaires de cette �dition comportant l?ISBN

3 D'occasion

De EUR 37,88

2 Neuf

De EUR 50,35

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.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

Pr�sentation de l'�diteur

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.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Clarendon Press
Date d'�dition: 1996
Langue: anglais
ISBN 10: 0198538626
ISBN 13: 9780198538622
Reliure: Reli�
Nombre de pages: 550
�diteur: Hodges Wilfrid, Hyland Martin, Steinhorn Charles, Truss J.
Coordonn�es du fabricant: non disponible
Personne responsable: Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie

Acheter D'occasion

�tat : Satisfaisant

It's a preowned item in good condition...

Afficher cet article

EUR 37,88

Autre devise

Gratuit exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 50,35

Autre devise

EUR 8 exp�dition depuis Italie vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Logic: From Foundations to Applications : European...

Image d'archives

Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications)

Hodges, Wilfrid; Hyland, Martin; Steinhorn, Charles; Truss, John

Edit� par Clarendon Press (edition 1), 1996

ISBN 10 : 0198538626 ISBN 13 : 9780198538622

Ancien ou d'occasion Couverture rigide

Vendeur : BooksRun, Philadelphia, PA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : Good. 1. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. N� de r�f. du vendeur 0198538626-11-1

Contacter le vendeur

Acheter D'occasion

EUR 37,88

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications)

Edit� par Clarendon Press, 1996

ISBN 10 : 0198538626 ISBN 13 : 9780198538622

Ancien ou d'occasion Couverture rigide

Vendeur : Midtown Scholar Bookstore, Harrisburg, PA, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized. N� de r�f. du vendeur M0198538626Z3

Contacter le vendeur

Acheter D'occasion

EUR 37,14

Autre devise

Frais de port : EUR 5,15

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur