Logic: From Foundations to Applications: European Logic Colloquium

Hodges, Wilfrid

ISBN 10: 0198538626 / ISBN 13: 9780198538622

Published by Clarendon Press, 1996

About this Item

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

Bibliographic Details

• Title: Logic: From Foundations to Applications: European Logic Colloquium
• Publisher: Clarendon Press
• Publication Date: 1996
• Language: English
• ISBN 10: 0198538626
• ISBN 13: 9780198538622
• Binding: 8Vo Hardcover
• Edition: 1st.
• Condition: Very Good
• Seller catalogs:
  • MATHEMATICS

About this title

Synopsis

This book contains 21 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 computer science and mathematics, this gap between foundations and applications is small, as illustrated by essays on the proof theory of non-classical logics, lambda calculus, relating logic programs to inductive definition, and definability in Lindenbaum algebras. Other chapters discuss how to apply model theory to field theory, complex geometry and groups, and how to recover from its automorphism group.

About the Author

W. A. Hodges, Professor, School of Mthematical Sciences, Queen Mary and Westfield College, University of London. J. M. E. Hyland, Department of Pure Mathematics and Mathematical Statistics, University of Cambridge. C. I. Steinhorn, Department of Mathematics, Vassar College.