VIAF

Virtual International Authority File

Search

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

Henkin, Leon, 1921-2006 German National Library Sudoc [ABES], France 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 (16)

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 NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Netherlands National Library of France National Library of Catalonia Library of Congress/NACO
Completeness NUKAT Center of Warsaw University Library
Cylindric algebras NUKAT Center of Warsaw University Library National Library of Israel Sudoc [ABES], France National Library of Poland National Library of the Netherlands National Library of France National Library of Catalonia Library of Congress/NACO
The life and work of Leon Henkin : essays on his contributions Library of Congress/NACO
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 National Library of Catalonia Library of Congress/NACO
O matematičeskoj indukcii NUKAT Center of Warsaw University Library
Mathematics : report of the Project 2061 Phase I Mathematics Panel National Library of Catalonia 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 National Library of France Sudoc [ABES], France NUKAT Center of Warsaw University Library 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. National Library of the Netherlands Sudoc [ABES], France NUKAT Center of Warsaw University Library National Library of Israel Library of Congress/NACO
The theory of models / ed. by J. W. Addison, Leon Henkin, Alfred Tarski. - Amsterdam, 1965. 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 (16)