0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Algebra

Buy Now

Logic: From Foundations to Applications - European Logic Colloquium (Hardcover) Loot Price: R1,405
Discovery Miles 14 050
Logic: From Foundations to Applications - European Logic Colloquium (Hardcover): Wilfrid Hodges, Martin Hyland, Charles...

Logic: From Foundations to Applications - European Logic Colloquium (Hardcover)

Wilfrid Hodges, Martin Hyland, Charles Steinhorn, J. Truss

 (sign in to rate)
Loot Price R1,405 Discovery Miles 14 050 | Repayment Terms: R132 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

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.

General

Imprint: Clarendon Press
Country of origin: United Kingdom
Release date: June 1996
Editors: Wilfrid Hodges (Professor, School of Mathematical Sciences, Queen Mary and Westfield College) • Martin Hyland (Department of Pure Mathematics and Mathematical Statistics) • Charles Steinhorn (Department of Mathematics) • J. Truss (School of Mathematics)
Dimensions: 241 x 162 x 35mm (L x W x T)
Format: Hardcover
Pages: 550
ISBN-13: 978-0-19-853862-2
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > Set theory
Books > Science & Mathematics > Mathematics > Algebra > General
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Promotions
LSN: 0-19-853862-6
Barcode: 9780198538622

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

A Generalized Framework of Linear…
Liansheng Tan Paperback R2,474 R2,339 Discovery Miles 23 390
Differential Equations with Linear…
Matthew R. Boelkins, Jack L. Goldberg, … Hardcover R3,047 Discovery Miles 30 470
Math of Life and Death
Yates Paperback R460 R427 Discovery Miles 4 270
Linear Algebra and Its Applications…
David Lay, Steven Lay, … Paperback R2,492 Discovery Miles 24 920
Introduction to Analysis - Pearson New…
William Wade Paperback R2,542 Discovery Miles 25 420
Introduction to Linear Algebra
Gilbert Strang Hardcover R2,358 Discovery Miles 23 580
Math Without Numbers
Milo Beckman Paperback R450 R415 Discovery Miles 4 150
The Ten Equations That Rule the World…
David Sumpter Paperback R514 R479 Discovery Miles 4 790
Sets, Groups, and Mappings - An…
Andrew D. Hwang Hardcover R2,424 Discovery Miles 24 240
Deformation Theory of Discontinuous…
Ali Baklouti Hardcover R5,764 Discovery Miles 57 640
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R95 R90 Discovery Miles 900
Edexcel Award in Algebra Level 3…
Paperback R427 Discovery Miles 4 270

See more

Partners