VIAF

Virtual International Authority File

Search

Henkin, Leon. National Library of Poland Library of Congress/NACO German National Library National Library of Israel NUKAT Center of Warsaw University Library National Library of the Netherlands

Henkin, Leon, 1921-2006 Sudoc [ABES], France German National Library ISNI

Henkin, Leon 1921-.... National Library of France

Leon Henkin American mathematician Wikidata

VIAF ID: 76438407 (Personal)

Permalink: http://viaf.org/viaf/76438407

ISNI: 0000  0001  0917  6297 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (15)

Open Section Close Section 5xx's: Related Names (2)

Open Section Close SectionWorks

Title Sources
The axiomatic method : with special reference to geometry and physics : proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 - January 4, 1958 Library of Congress/NACO Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France
Completeness NUKAT Center of Warsaw University Library
Cylindric algebras. National Library of Poland Library of Congress/NACO National Library of Israel Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of the Netherlands National Library of France
Logic, methodology and philosophy of science IV proceedings of the fourth International congress for logic, methodology and philosophy of science, Bucharest, 1971 Sudoc [ABES], France
Logical systems containing only a finite number of symbols National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
O matematičeskoj indukcii NUKAT Center of Warsaw University Library
Mathematics : report of the Project 2061 Phase I Mathematics Panel Library of Congress/NACO
Notices of the AMS, v. 54, no. 4: Library of Congress/NACO
On mathematical induction NUKAT Center of Warsaw University Library
Proceedings of the Tarski symposium : an international symposium held to honor Alfred Tarski on the occasion of his seventieth birthday National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France Library of Congress/NACO
Retracing elementary mathematics National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
La structure algébrique des théories mathématiques NUKAT Center of Warsaw University Library National Library of Israel Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France
The theory of models NUKAT Center of Warsaw University Library
Truth and provability NUKAT Center of Warsaw University Library
The voice of America : forum lectures. National Library of Israel
With an introductory chapter: General theory of algebras National Library of the Netherlands National Library of France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:76438407 (27)