Henkin, Leon
Overview
Works:  63 works in 292 publications in 6 languages and 3,792 library holdings 

Genres:  Conference papers and proceedings Bibliography Biography 
Roles:  Author, Editor, Other 
Classifications:  QA9, 510.1 
Publication Timeline
.
Most widely held works about
Leon Henkin
 Leon Henkin papers by Leon Henkin( )
 Henkin, Leon Albert : mathematical logic( )
Most widely held works by
Leon Henkin
Retracing elementary mathematics by
Leon Henkin(
Book
)
9 editions published between 1962 and 1968 in English and Undetermined and held by 651 WorldCat member libraries worldwide
9 editions published between 1962 and 1968 in English and Undetermined and held by 651 WorldCat member libraries worldwide
The axiomatic method with special reference to geometry and physics. Proceedings of an international symposium held at the
University of California, Berkeley, December 26, 1957January 4, 1958 by
Leon Henkin(
Book
)
32 editions published in 1959 in English and Dutch and held by 473 WorldCat member libraries worldwide
32 editions published in 1959 in English and Dutch and held by 473 WorldCat member libraries worldwide
Proceedings of the Tarski Symposium by
Berkeley, Calif.> Tarski Symposium. <1971(
Book
)
27 editions published between 1974 and 1987 in English and Undetermined and held by 387 WorldCat member libraries worldwide
27 editions published between 1974 and 1987 in English and Undetermined and held by 387 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
11 editions published in 1971 in English and Undetermined and held by 371 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
11 editions published in 1971 in English and Undetermined and held by 371 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
Mathematics : report of the Project 2061 Phase I Mathematics Panel by
Project 2061 (American Association for the Advancement of Science)(
Book
)
5 editions published between 1989 and 1991 in English and held by 276 WorldCat member libraries worldwide
This is one of five panel reports that have been prepared as part of the first phase of Project 2061, a longterm multipurpose undertaking of the American Association for the Advancement of Science designed to help reform science, mathematics, and technology education in the United States. Major sections included are: (1) "Introduction"; (2) "The Processes of Mathematics" abstraction/representation, symbolic transformation, and application/comparison); (3) "The Subject Areas of Mathematics" (arithmetic, algebra, geometry, analysis, discrete mathematics, logic and set theory, and probability and statistics); (4) "Mathematics, Science, and Technology"; (5) "Mathematics and Language" (discussing mathematical language); and (6) "Emotions and Mathematics" (dealing with mathematics anxiety). The members of the panel and consultants are listed. (Yp)
5 editions published between 1989 and 1991 in English and held by 276 WorldCat member libraries worldwide
This is one of five panel reports that have been prepared as part of the first phase of Project 2061, a longterm multipurpose undertaking of the American Association for the Advancement of Science designed to help reform science, mathematics, and technology education in the United States. Major sections included are: (1) "Introduction"; (2) "The Processes of Mathematics" abstraction/representation, symbolic transformation, and application/comparison); (3) "The Subject Areas of Mathematics" (arithmetic, algebra, geometry, analysis, discrete mathematics, logic and set theory, and probability and statistics); (4) "Mathematics, Science, and Technology"; (5) "Mathematics and Language" (discussing mathematical language); and (6) "Emotions and Mathematics" (dealing with mathematics anxiety). The members of the panel and consultants are listed. (Yp)
La structure algébrique des théories mathématiques by
Leon Henkin(
Book
)
13 editions published in 1956 in French and Undetermined and held by 238 WorldCat member libraries worldwide
13 editions published in 1956 in French and Undetermined and held by 238 WorldCat member libraries worldwide
Logical systems containing only a finite number of symbols by
Leon Henkin(
Book
)
22 editions published between 1967 and 1972 in English and French and held by 208 WorldCat member libraries worldwide
22 editions published between 1967 and 1972 in English and French and held by 208 WorldCat member libraries worldwide
The theory of models; proceedings by
J. W Addison(
Book
)
39 editions published between 1965 and 1978 in 3 languages and held by 173 WorldCat member libraries worldwide
The Theory of Models
39 editions published between 1965 and 1978 in 3 languages and held by 173 WorldCat member libraries worldwide
The Theory of Models
Cylindric algebras by
Leon Henkin(
Book
)
18 editions published in 1971 in English and German and held by 77 WorldCat member libraries worldwide
18 editions published in 1971 in English and German and held by 77 WorldCat member libraries worldwide
Cylindric set algebras by
Leon Henkin(
Book
)
15 editions published between 1981 and 2008 in English and Undetermined and held by 52 WorldCat member libraries worldwide
15 editions published between 1981 and 2008 in English and Undetermined and held by 52 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
)
in English and held by 23 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
in English and held by 23 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
Cylindric algebras by
Leon Henkin(
Book
)
12 editions published between 1971 and 1985 in English and Italian and held by 21 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
12 editions published between 1971 and 1985 in English and Italian and held by 21 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
The life and work of Leon Henkin : essays on his contributions by
María Manzano(
Book
)
3 editions published in 2014 in English and held by 16 WorldCat member libraries worldwide
This is a comprehensive book on the life and works of Leon Henkin (19212006), 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 a
3 editions published in 2014 in English and held by 16 WorldCat member libraries worldwide
This is a comprehensive book on the life and works of Leon Henkin (19212006), 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 a
Cylindric algebras by
Leon Henkin(
Book
)
1 edition published in 1985 in English and held by 15 WorldCat member libraries worldwide
1 edition published in 1985 in English and held by 15 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
4 editions published in 1985 in English and held by 15 WorldCat member libraries worldwide
4 editions published in 1985 in English and held by 15 WorldCat member libraries worldwide
Mathematical induction by
Leon Henkin(
Book
)
1 edition published in 1961 in English and held by 14 WorldCat member libraries worldwide
1 edition published in 1961 in English and held by 14 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
in English and held by 7 WorldCat member libraries worldwide
in English and held by 7 WorldCat member libraries worldwide
O matematičeskoj indukcii by
Leon Henkin(
Book
)
7 editions published in 1962 in Russian and Undetermined and held by 7 WorldCat member libraries worldwide
7 editions published in 1962 in Russian and Undetermined and held by 7 WorldCat member libraries worldwide
Cylindric algebras by
Leon Henkin(
Book
)
7 editions published between 1971 and 1985 in English and Undetermined and held by 6 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
7 editions published between 1971 and 1985 in English and Undetermined and held by 6 WorldCat member libraries worldwide
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and viceversa, and relationships with other algebraic versions of logic
The axiomatic method by
Leon Henkin(
Book
)
6 editions published between 1958 and 1959 in Undetermined and English and held by 3 WorldCat member libraries worldwide
6 editions published between 1958 and 1959 in Undetermined and English and held by 3 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Tarski, Alfred Other Honoree Dedicatee Editor
 Monk, J. Donald (James Donald) 1930
 Association for Symbolic Logic
 International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
 University of California, Berkeley
 Tarski, Alfred
 Manzano, María Editor
 Alonso, Enrique Editor
 Sain, Ildikó Editor
 Blackwell, David 19192010 Author
Useful Links
Associated Subjects
Academic freedom Algebra, Abstract Algebraic logic ArithmeticFoundations Axioms CaliforniaBerkeley Canada Computer science Cylindric algebras Geometry GeometryFoundations History Induction (Mathematics) Logic Logic, Symbolic and mathematical Logicians Mathematical analysis Mathematical models Mathematical physics Mathematicians Mathematics MathematicsPhilosophy MinoritiesEducation Model theory Number theory Physics Scientists Set theory Tarski, Alfred, United States Universities and collegesFaculty University of California, Berkeley.Department of Mathematics WomenEducation
Alternative Names
Henkin, L.
Henkin, L. 19212006
Henkin, L. Leon)
Henkin, Leon A.
Henkin, Leon A. 19212006
Henkin, Leon A. (Leon Albert)
Henkin, Leon Albert
Henkin, Leon Albert 19212006
Leon Henkin Amerikaans wiskundige
Leon Henkin amerikansk matematikar
Leon Henkin amerikansk matematiker
Leon Henkin USamerikanischer Logiker
Леон Хенкин американский математик
לאון הנקין
لئون هنکین ریاضیدان آمریکایی
レオン・ヘンキン
Languages
Covers