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.
"synopsis" may belong to another edition of this title.
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.
"About this title" may belong to another edition of this title.
Shipping:
FREE
Within U.S.A.
Shipping:
US$ 55.81
From Germany to U.S.A.
Seller: BooksRun, Philadelphia, PA, U.S.A.
Hardcover. Condition: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 0198538626-11-1
Quantity: 1 available
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
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: Chamblin Bookmine, Jacksonville, FL, U.S.A.
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
Seller: moluna, Greven, Germany
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