Items related to Logic: From Foundations to Applications: European Logic...
Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Product Description
The volume contains 21 essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several expository papers, including thorough expositions of applications of 0-minimal structures in field theory.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 43.15
£ 2.38 shipping from Italy to United Kingdom
Destination, rates & speedsSearch results for Logic: From Foundations to Applications: European Logic...
Stock Image
Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications)
Published by
Clarendon Press (edition 1), 1996
ISBN 10: 0198538626
ISBN 13: 9780198538622
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0198538626-11-1
Quantity: 1 available
Stock Image
Logic: From Foundations to Applications: European Logic Colloquium (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 610ab478f7e57e01974e36b10b851a69
Quantity: Over 20 available
Stock Image
Logic: From Foundations to Applications: European Logic Colloquium
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 961. Seller Inventory # B9780198538622
Quantity: 15 available
Seller Image
Logic: From Foundations to Applications: European Logic Colloquium
Published by
Clarendon Press, 1996
ISBN 10: 0198538626
ISBN 13: 9780198538622
Used
Hardcover
First Edition
Seller: Chamblin Bookmine, Jacksonville, FL, U.S.A.
Seller rating 5 out of 5 stars
8Vo Hardcover. Condition: Very Good. 1st. 536pp. Text is unmarked on white pages. Bound in midnight blue cloth with crisply pointed corners and gold gilt lettering. Binding is tight and square, hinges are secure. Seller Inventory # 81256
Quantity: 1 available
Stock Image
Logic: From Foundations to Applications: European Logic Colloquium (Oxford Science Publications)
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: 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. Seller Inventory # M0198538626Z3
Quantity: Over 20 available
Seller Image
Logic: From Foundations to Applications: European Logic Colloquium
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The volume contains twenty-one essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several excellent expository papers, i. Seller Inventory # 594410020
Quantity: Over 20 available