A Bit of History Related to Logic Based on Equality [chapter]

Peter B. Andrews
2014 Studies in Universal Logic  
This historical note illuminates how Leon Henkin's work influenced that of the author. It focuses on Henkin's development of a formulation of type theory based on equality, and the significance of this contribution.
doi:10.1007/978-3-319-09719-0_8 fatcat:4h3w5soorrglnj7dgsqyckgpn4