Description: Logic: From Foundations to Applications Please note: this item is printed on demand and will take extra time before it can be dispatched to you (up to 20 working days). European Logic Colloquium Author(s): Wilfrid Hodges, Martin Hyland, Charles Steinhorn, J. Truss Format: Hardback Publisher: Oxford University Press, United Kingdom Imprint: Clarendon Press ISBN-13: 9780198538622, 978-0198538622 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.
Price: 39.41 GBP
Location: Aldershot
End Time: 2024-12-06T21:31:39.000Z
Shipping Cost: 29.35 GBP
Product Images
Item Specifics
Return postage will be paid by: Buyer
Returns Accepted: Returns Accepted
After receiving the item, your buyer should cancel the purchase within: 60 days
Return policy details:
Book Title: Logic: From Foundations to Applications
Number of Pages: 550 Pages
Language: English
Publication Name: Logic: from Foundations to Applications: European Logic Colloquium
Publisher: Oxford University Press
Publication Year: 1996
Subject: Engineering & Technology, Mathematics
Item Height: 241 mm
Item Weight: 931 g
Type: Textbook
Author: Charles Steinhorn, Martin Hyland, J. Truss, Wilfrid Hodges
Item Width: 162 mm
Format: Hardcover
