WorldCat Identities

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
 
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

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

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 vice-versa, 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 long-term 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

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

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
Cylindric algebras by Leon Henkin( Book )

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

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 vice-versa, 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 vice-versa, 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 (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 a
Cylindric algebras by Leon Henkin( Book )

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

Mathematical induction by Leon Henkin( Book )

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

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

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 vice-versa, 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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.57 (from 0.34 for Retracing ... to 0.99 for Henkin, Le ...)

Cylindric algebrasCylindric algebras
Alternative Names
Henkin, L.

Henkin, L. 1921-2006

Henkin, L. Leon)

Henkin, Leon A.

Henkin, Leon A. 1921-2006

Henkin, Leon A. (Leon Albert)

Henkin, Leon Albert

Henkin, Leon Albert 1921-2006

Leon Henkin Amerikaans wiskundige

Leon Henkin amerikansk matematikar

Leon Henkin amerikansk matematiker

Leon Henkin US-amerikanischer Logiker

Леон Хенкин американский математик

לאון הנקין

لئون هنکین ریاضی‌دان آمریکایی

レオン・ヘンキン

Languages
English (195)

French (15)

Russian (6)

Dutch (4)

German (1)

Italian (1)

Covers
Cylindric algebrasCylindric set algebrasCylindric algebrasCylindric algebras