The life and work of Leon Henkin. Essays on his contributions

DOI10.1007/978-3-319-09719-0zbMath1300.01009OpenAlexW2477350699MaRDI QIDQ405603

No author found.

Publication date: 5 September 2014

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-09719-0

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Development of contemporary mathematics (01A65) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06)

Related Items (3)

Identity, Equality, Nameability and Completeness ⋮ Logical Autobiography 50 ⋮ Completeness in equational hybrid propositional type theory

This page was built for publication: The life and work of Leon Henkin. Essays on his contributions