The Life and Work of Leon Henkin: Essays on His Contributions (Studies in Universal Logic)

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin’s intellectual development, his relation to his predecessors and contemporaries and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.

View More In History & Culture.

Or Browse Our Catalog.

Konrad Zuse is one of the great pioneers of the computerage. He created thefirst fully automated, programcontrolled, freely programmable computer using binaryfloating-point calculation. It was operational in 1941. Hebuilt his first machines in Berlin...

First published a decade ago, CJKV Information Processing quickly became the unsurpassed source of information on processing text in Chinese, Japanese, Korean, and Vietnamese. It has now been thoroughly updated to provide web and application develope...

It has been upon the shoulders of giants that the modern world has been forged. This accessible compendium presents an insight into the great minds responsible for the technology which has transformed our lives. Each pioneer is introduced with a bri...

Protect your rights, and your hard work! The laws covering website and software development are complex and confusing, but if you don't untangle them, it could cost you thousands of dollars in attorneys' fees and lawsuits. Fortunately, Legal Guide t...

You've been floating through cyberspace wondering if you are using and dispensing information legally. Worry, no more! Now, you have the answers at your fingertips. Written in an easy-to-understand question-and-answer format, this handbook provides t...

John Sowa integrates logic, philosophy, linguistics, and computer science into this study of knowledge and its various models and implementations. His definitive new book shows how techniques of artificial intelligence, database design, and object-or...

As new technologies develop, terrorist groups are developing new methods of attack by using the Internet, and by using cyberspace as a battlefield, it has become increasingly difficult to discover the identity of attackers and bring them to justice. ...

The Broadcast Century and Beyond is a popular history of the most influential and innovative industry of the century. The story of broadcasting is told in a direct and informal style, blending personal insight and authoritative scholarship to fully c...

For more than 60 years, Jim Lambek has been a profoundly inspirational mathematician, with groundbreaking contributions to algebra, category theory, linguistics, theoretical physics, logic and proof theory. This Festschrift was put together on the oc...